[FOM] Contents of FOM Digest, Vol 114, Issue 8/ Weak categorical theories of arithmetic

[John Corcoran]

Aatu Koskensilta <Aatu.Koskensilta at uta.fi> asked for an example of an
axiomatizable, and preferably finitely  axiomatizable, second-order theory
of arithmetic that's categorical  but proof-theoretically weak.
There are examples in Section 3.4 of Corcoran, J. 1980. Categoricity,
History and Philosophy of Logic 1, 187-207.  MR82j:03034. 
A PDF is available from the author.

Does anyone know when the topic--weak categorical theories--was first
discussed in print?


-