[FOM] AXIOM SCHEMATA

[praatika@mappi.helsinki.fi]

Perhaps you know this, but anyway: some points on this issue can be found 
in Feferman's "Reflecting on Incompleteness", JSL 56 (1991), 1-49. see 
especially  section 1.6.

Best

Panu 



Panu



Panu Raatikainen

PhD., Docent in Theoretical Philosophy
Fellow, Helsinki Collegium for Advanced Studies
University of Helsinki
 
Address: 
Helsinki Collegium for Advanced Studies
P.O. Box 4
FIN-00014 University of Helsinki
Finland

E-mail: panu.raatikainen at helsinki.fi
 
http://www.helsinki.fi/collegium/eng/Raatikainen/raatikainen.htm