# A sequence of theories for arithmetic whose union is complete

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

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

## Access Full Article

top## How to cite

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

## Citations in EuDML Documents

top## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.