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.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.