Completion closed algebras and models of Peano arithmetic
Hájek, Petr
Commentationes Mathematicae Universitatis Carolinae, Tome 022 (1981), p. 585-594 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1981-01-01
Classification:  03C62,  03C65,  03F30,  03G25,  03H15 
@article{106100,
     author = {Petr H\'ajek},
     title = {Completion closed algebras and models of Peano arithmetic},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {022},
     year = {1981},
     pages = {585-594},
     zbl = {0499.03022},
     mrnumber = {633586},
     language = {en},
     url = {http://dml.mathdoc.fr/item/106100}
}

Hájek, Petr. Completion closed algebras and models of Peano arithmetic. Commentationes Mathematicae Universitatis Carolinae, Tome 022 (1981) pp. 585-594. http://gdmltest.u-ga.fr/item/106100/

H. Friedman Countable models of set theories, in Proc. Cambridge Summer School in Logic, Mathias and Rogers, eds. Lecture Notes in Math. 337, 539-513. | MR 0347599 | Zbl 0271.02036

H. Gaifman A note on models and submodels of arithmetic, in Conference in Math. Logic London 70, Lecture Notes in Math. 255. | MR 0419215

D. Guaspari Partially conservative extensions of arithmetic, Trans. AMS 254 (1979), 47-68. (1979) | MR 0539907 | Zbl 0417.03030

P. Hájek P. Pudlák Two orderings of the class of all countable models of Peano arithmetic, in Model Theory of Algebra and Arithmetic, Lecture Notes in Math, 834, p. 174-185. | MR 0606786

D. Jensen A. Ehrenfeucht Some problems in elementary arithmetic, Fund. Math. 92 (1970), 223-245. (1970) | MR 0419212

D. Scott Algebras of sets binumerable in complete extensions of arithmetic, in Recursive Function Theory (Dekker, ed.) AMS 1962, 117-122. (1962) | MR 0141595 | Zbl 0199.02601

C. Smoryński Recursively saturated nonstandard models of arithmetic, preprint (reworked version). | MR 0613281

C. Smoryński Nonstandard models of arithmetic, Univ. Utrecht, preprint 153, April 1980. (1980)