About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us
  Previous |  Up |  Next

Article

First Page Preview
Hájek, Petr
Completion closed algebras and models of Peano arithmetic. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 22 (1981), issue 3, pp. 585-594
MSC: 03C62, 03C65, 03F30, 03G25, 03H15 | MR 633586 | Zbl 0499.03022
References:
[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 0347599 | Zbl 0271.02036
[2] H. GAIFMAN: A note on models and submodels of arithmetic. in Conference in Math. Logic London 70, Lecture Notes in Math. 255. MR 0419215
[3] D. GUASPARI: Partially conservative extensions of arithmetic. Trans. AMS 254 (1979), 47-68. MR 0539907 | Zbl 0417.03030
[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 0606786
[5] D. JENSEN A. EHRENFEUCHT: Some problems in elementary arithmetic. Fund. Math. 92 (1970), 223-245. MR 0419212
[6] D. SCOTT: Algebras of sets binumerable in complete extensions of arithmetic. in Recursive Function Theory (Dekker, ed.) AMS 1962, 117-122. MR 0141595 | Zbl 0199.02601
[7] C. SMORYŃSKI: Recursively saturated nonstandard models of arithmetic. preprint (reworked version). MR 0613281
[8] C. SMORYŃSKI: Nonstandard models of arithmetic. Univ. Utrecht, preprint 153, April 1980.
Partner of
EuDML logo