FOM: Simpson's book
friedman at math.ohio-state.edu
Fri Jun 28 17:37:09 EDT 2002
Insall <montez at rollanet.org> 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