FOM: Re: fom-digest V1 #19

John Case case at eecis.udel.edu
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
                  Mathematik",
 pages =         "449--456",
 title =         "Independent Axiomatization and Its Relation to the Hypersimple
                  Set",
 volume =        "14"}

(-8 John Case




More information about the FOM mailing list