On the standard part of nonstandard models of set theory

, &
Journal of Symbolic Logic 48 (1):33-38 (1983)
  Copy   BIBTEX

Abstract

We characterize the ordinals α of uncountable cofinality such that α is the standard part of a nonstandard model of ZFC (or equivalently KP)

Categories

Keywords

Reprint years

DOI

10.2307/2273317

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,296

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Locally countable models of Σ1-separation.Fred G. Abramson - 1981 - Journal of Symbolic Logic 46 (1):96 - 100.
Extending standard models of ZFC to models of nonstandard set theories.Vladimir Kanovei & Michael Reeken - 2000 - Studia Logica 64 (1):37-59.
Standard sets in nonstandard set theory.Petr Andreev & Karel Hrbacek - 2004 - Journal of Symbolic Logic 69 (1):165-182.
Review: J. A. Makowsky, Saharon Shelah, Jonathan Stavi, $Delta$-Logics and Generalized Quantifiers. [REVIEW]Jouko Vaananen - 1985 - Journal of Symbolic Logic 50 (1):241-242.
Nonstandard arithmetic and recursive comprehension.H. Keisler - 2010 - Annals of Pure and Applied Logic 161 (8):1047-1062.
Σ1-separation.Fred G. Abramson - 1979 - Journal of Symbolic Logic 44 (3):374 - 382.
Nonstandard arithmetic and recursive comprehension.H. Jerome Keisler - 2010 - Annals of Pure and Applied Logic 161 (8):1047-1062.
J. A. Makowsky, Saharon Shelah, and Jonathan Stavi. ⊿-logics and generalized quantifiers. Annals of mathematical logic, vol. 10 , pp. 155–192. [REVIEW]Jouko Väänänen - 1985 - Journal of Symbolic Logic 50 (1):241-242.
An axiomatic presentation of the nonstandard methods in mathematics.Mauro Di Nasso - 2002 - Journal of Symbolic Logic 67 (1):315-325.
An axiomatic presentation of the nonstandard methods in mathematics.Mauro Di Nasso - 2002 - Journal of Symbolic Logic 67 (1):315-325.

Analytics

Added to PP
2009-01-28

Downloads
7 (#1,413,139)

6 months
175 (#19,236)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A parallel to the null ideal for inaccessible $$\lambda $$ λ : Part I.Saharon Shelah - 2017 - Archive for Mathematical Logic 56 (3-4):319-383.

Add more citations

References found in this work

The fine structure of the constructible hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.
On the Semantics of the Constructible Levels.George Boolos - 1970 - Mathematical Logic Quarterly 16 (2):139-148.
Some applications of model theory in set theory.Jack H. Silver - 1971 - Annals of Mathematical Logic 3 (1):45.

Add more references