Un'estensione del teorema di Löb

Giovanni Sambin

Rendiconti del Seminario Matematico della Università di Padova (1974)

  • Volume: 52, page 193-199
  • ISSN: 0041-8994

How to cite

top

Sambin, 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. [1] S. Feferman, Arithmetization of metamathematics in a general setting, Fund. Math., 49 (1960), 35-92. Zbl0095.24301MR147397
  2. [2] D. Hilbert - P. Bernays, Grundlagen der Mathematik, Berlin, vol. 1, 1934; vol. 2, 1939. Zbl0191.28402
  3. [3] M. Löb, Solution of a problem of Leon Henkin, Journ. Symb. Log., 20 (1955), 115-118. Zbl0067.00202MR70596
  4. [4] A. Macyntire - H. Simmons, Gödel's diagonalization technique and related properties of theories, Colloq. Math., 28 (1973), 165-180. Zbl0288.02018MR332465
  5. [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. [6] H. Simmons, Topological aspects of suitable theories, ciclostilato1972, University of Aberdeen, Scotland. 

NotesEmbed ?

top

You must be logged in to post comments.