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

[praatika@mappi.helsinki.fi]

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:
http://math.stanford.edu/~feferman/papers.html


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.)

Best

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