The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

A sequence of theories for arithmetic whose union is complete

Aldo Ursini

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

  • Volume: 57, page 75-92
  • ISSN: 0041-8994

How to cite

top

Ursini, Aldo. "A sequence of theories for arithmetic whose union is complete." Rendiconti del Seminario Matematico della Università di Padova 57 (1977): 75-92. <http://eudml.org/doc/107645>.

@article{Ursini1977,
author = {Ursini, Aldo},
journal = {Rendiconti del Seminario Matematico della Università di Padova},
keywords = {first-order arithmetic; nonstandard arithmetic; provability; extensions of first order theories; sequences of theories},
language = {eng},
pages = {75-92},
publisher = {Seminario Matematico of the University of Padua},
title = {A sequence of theories for arithmetic whose union is complete},
url = {http://eudml.org/doc/107645},
volume = {57},
year = {1977},
}

TY - JOUR
AU - Ursini, Aldo
TI - A sequence of theories for arithmetic whose union is complete
JO - Rendiconti del Seminario Matematico della Università di Padova
PY - 1977
PB - Seminario Matematico of the University of Padua
VL - 57
SP - 75
EP - 92
LA - eng
KW - first-order arithmetic; nonstandard arithmetic; provability; extensions of first order theories; sequences of theories
UR - http://eudml.org/doc/107645
ER -

References

top
  1. [1] S. Feferman, Arithmetization of Metamathematics in a general setting, Fund. Mat.49 (1960) pp. 35-92. Zbl0095.24301MR147397
  2. [2] S. Feferman, Transfinite recursive pregressions of axiomatic theories, Joun., of Symb. Logic, 27 (1962) pp. 259-316. Zbl0117.25402MR172792
  3. [3] R. Magari, Significato e verità nell'aritmetica peaniana, Ann. di Mat. Pura e Appl., 4 (103) 1975, pp. 343-368. Zbl0316.02037MR373875
  4. [4] M.H. Löb, Solution of a problem of Leon Henkin, Journ. of Symb. Logic, 20 (1955) pp. 115-118. Zbl0067.00202MR70596
  5. [5] H. Rogers, Jr. Theory of recursive functions and effective computability, Mc Graw Hill ;New York, 1967. Zbl0183.01401MR224462
  6. [6] C. Smorynski, Consistency and related metamathematical properties, Amsterdam Mathematisch Instituut, Rp. 75-02. 
  7. [7] A. Ursini, On the set of « meaningful » sentences of arithmetic, to appear in Studia Logica. Zbl0404.03043MR515169

NotesEmbed ?

top

You 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.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.