[FOM] Contents of FOM Digest, Vol 114, Issue 8/ Weak categorical theories of arithmetic
corcoran at buffalo.edu
Wed Jun 13 13:41:20 EDT 2012
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?
More information about the FOM