Completion closed algebras and models of Peano arithmetic

Petr Hájek

Commentationes Mathematicae Universitatis Carolinae (1981)

  • Volume: 022, Issue: 3, page 585-594
  • ISSN: 0010-2628

How to cite

top

Hájek, Petr. "Completion closed algebras and models of Peano arithmetic." Commentationes Mathematicae Universitatis Carolinae 022.3 (1981): 585-594. <http://eudml.org/doc/17132>.

@article{Hájek1981,
author = {Hájek, Petr},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {infinite dyadic tree; thrifty model; extension of PA},
language = {eng},
number = {3},
pages = {585-594},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {Completion closed algebras and models of Peano arithmetic},
url = {http://eudml.org/doc/17132},
volume = {022},
year = {1981},
}

TY - JOUR
AU - Hájek, Petr
TI - Completion closed algebras and models of Peano arithmetic
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1981
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 022
IS - 3
SP - 585
EP - 594
LA - eng
KW - infinite dyadic tree; thrifty model; extension of PA
UR - http://eudml.org/doc/17132
ER -

References

top
  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. Zbl0271.02036MR0347599
  2. H. GAIFMAN, A note on models and submodels of arithmetic, in Conference in Math. Logic London 70, Lecture Notes in Math. 255. MR0419215
  3. D. GUASPARI, Partially conservative extensions of arithmetic, Trans. AMS 254 (1979), 47-68. (1979) Zbl0417.03030MR0539907
  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. MR0606786
  5. D. JENSEN A. EHRENFEUCHT, Some problems in elementary arithmetic, Fund. Math. 92 (1970), 223-245. (1970) MR0419212
  6. D. SCOTT, Algebras of sets binumerable in complete extensions of arithmetic, in Recursive Function Theory (Dekker, ed.) AMS 1962, 117-122. (1962) Zbl0199.02601MR0141595
  7. C. SMORYŃSKI, Recursively saturated nonstandard models of arithmetic, preprint (reworked version). MR0613281
  8. C. SMORYŃSKI, Nonstandard models of arithmetic, Univ. Utrecht, preprint 153, April 1980. (1980) 

NotesEmbed ?

top

You must be logged in to post comments.