Arithmetization of metamathematics in a general setting
Fundamenta Mathematicae (1960)
- Volume: 49, Issue: 1, page 35-92
- ISSN: 0016-2736
Access Full Article
top
How to cite
topFeferman, S.. "Arithmetization of metamathematics in a general setting." Fundamenta Mathematicae 49.1 (1960): 35-92. <http://eudml.org/doc/213578>.
@article{Feferman1960,
author = {Feferman, S.},
journal = {Fundamenta Mathematicae},
keywords = {philosophy and foundations of mathematics},
language = {eng},
number = {1},
pages = {35-92},
title = {Arithmetization of metamathematics in a general setting},
url = {http://eudml.org/doc/213578},
volume = {49},
year = {1960},
}
TY - JOUR
AU - Feferman, S.
TI - Arithmetization of metamathematics in a general setting
JO - Fundamenta Mathematicae
PY - 1960
VL - 49
IS - 1
SP - 35
EP - 92
LA - eng
KW - philosophy and foundations of mathematics
UR - http://eudml.org/doc/213578
ER -
Citations in EuDML Documents
top- J. F. Pabion, L'axiomatisation de la syntaxe et le second theorem de Gödel
- Aldo Ursini, A sequence of theories for arithmetic whose union is complete
- L. Sacchetti, Logiche modali con la proprietà del punto fisso
- Jacopo Amidei, Duccio Pianigiani, Natura empirica della metamatematica: la filosofia della matematica di Roberto Magari
- Franco Parlamento, Binumerability in a sequence of theories
- Giovanni Sambin, Un'estensione del teorema di Löb
- Stanislav Palúch, The lattices of numerations of theories containing Peano's arithmetic
- Marie Hájková, The lattice of bi-numerations of arithmetic. I.
- Marie Hájková, The lattice of bi-numerations of arithmetic. II.
- Petr Hájek, On interpretability in set theories
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.