[FOM] Finite axiomatisation

[praatika@mappi.helsinki.fi]

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
Finland


E-mail: panu.raatikainen at helsinki.fi

http://www.mv.helsinki.fi/home/praatika/