Completion closed algebras and models of Peano arithmetic
Commentationes Mathematicae Universitatis Carolinae (1981)
- Volume: 022, Issue: 3, page 585-594
- ISSN: 0010-2628
Access Full Article
top
How to cite
topHá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- 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
- H. GAIFMAN, A note on models and submodels of arithmetic, in Conference in Math. Logic London 70, Lecture Notes in Math. 255. MR0419215
- D. GUASPARI, Partially conservative extensions of arithmetic, Trans. AMS 254 (1979), 47-68. (1979) Zbl0417.03030MR0539907
- 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
- D. JENSEN A. EHRENFEUCHT, Some problems in elementary arithmetic, Fund. Math. 92 (1970), 223-245. (1970) MR0419212
- D. SCOTT, Algebras of sets binumerable in complete extensions of arithmetic, in Recursive Function Theory (Dekker, ed.) AMS 1962, 117-122. (1962) Zbl0199.02601MR0141595
- C. SMORYŃSKI, Recursively saturated nonstandard models of arithmetic, preprint (reworked version). MR0613281
- C. SMORYŃSKI, Nonstandard models of arithmetic, Univ. Utrecht, preprint 153, April 1980. (1980)
NotesEmbed ?
topYou 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.