[FOM] Re: Arithmetic-free theory of formal systems?

praatika@mappi.helsinki.fi praatika at mappi.helsinki.fi
Tue May 18 04:58:40 EDT 2004

One should certainly mention in this context Feferman's neat theories of 
directly formalized metamathematics, see:

"Inductively presented systems and the formalization of meta-mathematics", 
in Logic Colloquium '80, pp. 95-128, North-Holland, Amsterdam, 1982. 
"Finitary inductively presented logics", in Logic Colloquium '88 (R. Ferro, 
et al., eds.), North-Holland, Amsterdam (1989) 191-220. 

The latter paper can be found in Feferman's homepage:

these theories are also discussed briefly in 
S. Feferman: "Reflecting on incompleteness", J. Symbolic Logic, vol. 56, 
pp. 1-49, 1991. 
(which can be found in JSTOR.)



Panu Raatikainen

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

E-mail: panu.raatikainen at helsinki.fi

More information about the FOM mailing list