Geodesic
Completion closed algebras and models of Peano arithmetic
Commentationes Mathematicae Universitatis Carolinae, Tome 22 (1981) no. 3, pp. 585-594

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

MR   Zbl

Classification : 03C62, 03C65, 03F30, 03G25, 03H15 
Hájek, Petr. Completion closed algebras and models of Peano arithmetic. Commentationes Mathematicae Universitatis Carolinae, Tome 22 (1981) no. 3, pp. 585-594. http://geodesic.mathdoc.fr/item/CMUC_1981_22_3_a12/
@article{CMUC_1981_22_3_a12,
     author = {H\'ajek, Petr},
     title = {Completion closed algebras and models of {Peano} arithmetic},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {585--594},
     year = {1981},
     volume = {22},
     number = {3},
     mrnumber = {633586},
     zbl = {0499.03022},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1981_22_3_a12/}
}
TY  - JOUR
AU  - Hájek, Petr
TI  - Completion closed algebras and models of Peano arithmetic
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1981
SP  - 585
EP  - 594
VL  - 22
IS  - 3
UR  - http://geodesic.mathdoc.fr/item/CMUC_1981_22_3_a12/
LA  - en
ID  - CMUC_1981_22_3_a12
ER  - 
%0 Journal Article
%A Hájek, Petr
%T Completion closed algebras and models of Peano arithmetic
%J Commentationes Mathematicae Universitatis Carolinae
%D 1981
%P 585-594
%V 22
%N 3
%U http://geodesic.mathdoc.fr/item/CMUC_1981_22_3_a12/
%G en
%F CMUC_1981_22_3_a12

[1] 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 | Zbl

[2] H. GAIFMAN: A note on models and submodels of arithmetic. in Conference in Math. Logic London 70, Lecture Notes in Math. 255. | MR

[3] D. GUASPARI: Partially conservative extensions of arithmetic. Trans. AMS 254 (1979), 47-68. | MR | Zbl

[4] 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

[5] D. JENSEN A. EHRENFEUCHT: Some problems in elementary arithmetic. Fund. Math. 92 (1970), 223-245. | MR

[6] D. SCOTT: Algebras of sets binumerable in complete extensions of arithmetic. in Recursive Function Theory (Dekker, ed.) AMS 1962, 117-122. | MR | Zbl

[7] C. SMORYŃSKI: Recursively saturated nonstandard models of arithmetic. preprint (reworked version). | MR

[8] C. SMORYŃSKI: Nonstandard models of arithmetic. Univ. Utrecht, preprint 153, April 1980.