Elementary extensions of models of set theory

  title={Elementary extensions of models of set theory},
  author={James H. Schmerl},
  journal={Arch. Math. Log.},
A theorem of Enayat’s concerning models of ZFC which had been proved using several different additional set-theoretical hypotheses is shown here to be absolute. Let A ≺ B be models ofZFC, and letκ ∈ A be such that A |= “κ is an ordinal ”. Then we say that B is aκ-elementary end extension (i brief: κe.e.e. ) if κ is the least ordinal of A such that for some b ∈ B\A,B |= b ε κ. A cardinalκ ismeasurableif there is a nonprincipal, κ-complete ultrafilter overκ. In particular, we consider ω to… CONTINUE READING

From This Paper

Topics from this paper.
7 Citations
10 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 10 references

certain elementary extensions ofmodels of set theory

  • A. Enayat, On
  • Trans. Amer.Math
  • 1984
Highly Influential
12 Excerpts

Logic with the quantifier “there exist uncountably many

  • H. J. Keisler
  • Ann. Math. Logic
  • 1970
Highly Influential
4 Excerpts

Models with second order properties II. Trees with no undefined branches

  • S. Shelah
  • Annals Math
  • 1978
Highly Influential
4 Excerpts

Analogues of the MacDowell-Specker theorem for set theory, in: Models, Algebras, and Proofs, (X

  • A. Enayat
  • Caicedo and C. Montenegro, eds.), Lecture Notes…
  • 1998

Models with tree structures

  • H. J. Keisler
  • Proceedings of the Tarski Symposium,
  • 1971
1 Excerpt

Extending models of set theory

  • H. J. Keisler
  • J. Symb. Logic 30(1965),
  • 1965
1 Excerpt

Similar Papers

Loading similar papers…