Un'estensione del teorema di Löb
Rendiconti del Seminario Matematico della Università di Padova (1974)
- Volume: 52, page 193-199
- ISSN: 0041-8994
Access Full Article
top
How to cite
topSambin, Giovanni. "Un'estensione del teorema di Löb." Rendiconti del Seminario Matematico della Università di Padova 52 (1974): 193-199. <http://eudml.org/doc/107524>.
@article{Sambin1974,
author = {Sambin, Giovanni},
journal = {Rendiconti del Seminario Matematico della Università di Padova},
language = {ita},
pages = {193-199},
publisher = {Seminario Matematico of the University of Padua},
title = {Un'estensione del teorema di Löb},
url = {http://eudml.org/doc/107524},
volume = {52},
year = {1974},
}
TY - JOUR
AU - Sambin, Giovanni
TI - Un'estensione del teorema di Löb
JO - Rendiconti del Seminario Matematico della Università di Padova
PY - 1974
PB - Seminario Matematico of the University of Padua
VL - 52
SP - 193
EP - 199
LA - ita
UR - http://eudml.org/doc/107524
ER -
References
top- [1] S. Feferman, Arithmetization of metamathematics in a general setting, Fund. Math., 49 (1960), 35-92. Zbl0095.24301MR147397
- [2] D. Hilbert - P. Bernays, Grundlagen der Mathematik, Berlin, vol. 1, 1934; vol. 2, 1939. Zbl0191.28402
- [3] M. Löb, Solution of a problem of Leon Henkin, Journ. Symb. Log., 20 (1955), 115-118. Zbl0067.00202MR70596
- [4] A. Macyntire - H. Simmons, Gödel's diagonalization technique and related properties of theories, Colloq. Math., 28 (1973), 165-180. Zbl0288.02018MR332465
- [5] R. Magari, Significato e verità nell'aritmetica peaniana. (Sulle limitazioni dei sistemi formali, II), Ann. Mat. pura e appl., in corso di pubblicazione. Zbl0316.02037
- [6] H. Simmons, Topological aspects of suitable theories, ciclostilato1972, University of Aberdeen, Scotland.
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.