[FOM] Finite axiomatisation

praatika@mappi.helsinki.fi praatika at mappi.helsinki.fi
Mon Sep 1 06:55:32 EDT 2008

One place where one can find a proof that ACA_0 can be finitely  
axiomatized is:
Hajek & Pudlak, Metamathematics of First-Order Arithmetic, p. 154.

Best, Panu

Panu Raatikainen

Ph.D., Academy Research Fellow,
Docent in Theoretical Philosophy
Department of Philosophy
University of Helsinki

E-mail: panu.raatikainen at helsinki.fi


More information about the FOM mailing list