Un'estensione del teorema di Löb
Rendiconti del Seminario Matematico della Università di Padova, Tome 52 (1974), pp. 193-199.
@article{RSMUP_1974__52__193_0,
     author = {Sambin, Giovanni},
     title = {Un'estensione del teorema di {L\"ob}},
     journal = {Rendiconti del Seminario Matematico della Universit\`a di Padova},
     pages = {193--199},
     publisher = {Seminario Matematico of the University of Padua},
     volume = {52},
     year = {1974},
     mrnumber = {384501},
     zbl = {0324.02019},
     language = {it},
     url = {http://archive.numdam.org/item/RSMUP_1974__52__193_0/}
}
TY  - JOUR
AU  - Sambin, Giovanni
TI  - Un'estensione del teorema di Löb
JO  - Rendiconti del Seminario Matematico della Università di Padova
PY  - 1974
SP  - 193
EP  - 199
VL  - 52
PB  - Seminario Matematico of the University of Padua
UR  - http://archive.numdam.org/item/RSMUP_1974__52__193_0/
LA  - it
ID  - RSMUP_1974__52__193_0
ER  - 
%0 Journal Article
%A Sambin, Giovanni
%T Un'estensione del teorema di Löb
%J Rendiconti del Seminario Matematico della Università di Padova
%D 1974
%P 193-199
%V 52
%I Seminario Matematico of the University of Padua
%U http://archive.numdam.org/item/RSMUP_1974__52__193_0/
%G it
%F RSMUP_1974__52__193_0
Sambin, Giovanni. Un'estensione del teorema di Löb. Rendiconti del Seminario Matematico della Università di Padova, Tome 52 (1974), pp. 193-199. http://archive.numdam.org/item/RSMUP_1974__52__193_0/

[1] S. Feferman, Arithmetization of metamathematics in a general setting, Fund. Math., 49 (1960), 35-92. | MR | Zbl

[2] D. Hilbert - P. Bernays, Grundlagen der Mathematik, Berlin, vol. 1, 1934; vol. 2, 1939. | Zbl

[3] M. Löb, Solution of a problem of Leon Henkin, Journ. Symb. Log., 20 (1955), 115-118. | MR | Zbl

[4] A. Macyntire - H. Simmons, Gödel's diagonalization technique and related properties of theories, Colloq. Math., 28 (1973), 165-180. | MR | Zbl

[5] R. Magari, Significato e verità nell'aritmetica peaniana. (Sulle limitazioni dei sistemi formali, II), Ann. Mat. pura e appl., in corso di pubblicazione. | Zbl

[6] H. Simmons, Topological aspects of suitable theories, ciclostilato 1972, University of Aberdeen, Scotland.