[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:
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
More information about the FOM
mailing list