FOM: Simpson's book friedman at
Fri Jun 28 17:37:09 EDT 2002

Insall <montez at> said:

> Matt Insall
> PS:  I know I should look it up myself,
> but I'll ask anyway.
> Does anyone know af a conservative,
> finitely axiomatizable extension of PA?
Simpson's book, Subsystems of second order arithmetic: ACA_0 is a finitely 
axiomatizable conservative extension of PA. Unfortunately, Simpson's book is 
temporarily out of print. 


More information about the FOM mailing list