FOM: Independent axiomatizations ...

[John Case]

Some fom readership my be interested 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"}

which contains a surprising characterization re independent recursive
axiomatizations.  I posted this before, but didn't see it appear.  If you've
already seen my posting on this, sorry about the repetition.

(-8 John Case

PS:  I'm getting the digest now and have been too busy to digest it, but will
look later at what (I think) Harvey had to say re indep rec axiomtizations for 
_extensions of PA_.