FOM: Re: fom-digest V1 #19

John Case case at
Mon Dec 15 21:28:13 EST 1997

I'm doin' the digest now and too busy to track everything on fom, but
re independent recursive axiomatizations, an amazing characterization theorem
is found in

 @article{       Pou:j:68,
 author =        "Pour-{E}l, M.",
 year =          "1968",
 journal =       "Zeitschrift {f\"ur} Mathematische Logik und Grundlagen der
 pages =         "449--456",
 title =         "Independent Axiomatization and Its Relation to the Hypersimple
 volume =        "14"}

(-8 John Case

More information about the FOM mailing list