| Title:
|
Completion closed algebras and models of Peano arithmetic (English) |
| Author:
|
Hájek, Petr |
| Language:
|
English |
| Journal:
|
Commentationes Mathematicae Universitatis Carolinae |
| ISSN:
|
0010-2628 (print) |
| ISSN:
|
1213-7243 (online) |
| Volume:
|
22 |
| Issue:
|
3 |
| Year:
|
1981 |
| Pages:
|
585-594 |
| . |
| Category:
|
math |
| . |
| MSC:
|
03C62 |
| MSC:
|
03C65 |
| MSC:
|
03F30 |
| MSC:
|
03G25 |
| MSC:
|
03H15 |
| idZBL:
|
Zbl 0499.03022 |
| idMR:
|
MR633586 |
| . |
| Date available:
|
2008-06-05T21:09:15Z |
| Last updated:
|
2012-04-28 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/106100 |
| . |
| Reference:
|
[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. Zbl 0271.02036, MR 0347599 |
| Reference:
|
[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 |
| Reference:
|
[3] D. GUASPARI: Partially conservative extensions of arithmetic.Trans. AMS 254 (1979), 47-68. Zbl 0417.03030, MR 0539907 |
| Reference:
|
[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 |
| Reference:
|
[5] D. JENSEN A. EHRENFEUCHT: Some problems in elementary arithmetic.Fund. Math. 92 (1970), 223-245. MR 0419212 |
| Reference:
|
[6] D. SCOTT: Algebras of sets binumerable in complete extensions of arithmetic.in Recursive Function Theory (Dekker, ed.) AMS 1962, 117-122. Zbl 0199.02601, MR 0141595 |
| Reference:
|
[7] C. SMORYŃSKI: Recursively saturated nonstandard models of arithmetic.preprint (reworked version). MR 0613281 |
| Reference:
|
[8] C. SMORYŃSKI: Nonstandard models of arithmetic.Univ. Utrecht, preprint 153, April 1980. |
| . |
