On Certain Elementary Extensions of Models of Set Theory

DOI10.2307/1999156zbMath0563.03033OpenAlexW4242514927MaRDI QIDQ3676140

Ali Enayat

Publication date: 1984

Full work available at URL: https://doi.org/10.2307/1999156

zbMATH Keywords

forcingmeasurable cardinaldiamondelementary end extensionrank extensionZFC models

Mathematics Subject Classification ID

Large cardinals (03E55) Models of arithmetic and set theory (03C62)

Related Items (9)

Condensable models of set theory ⋮ Incomparable ω₁‐like models of set theory ⋮ Iterated elementary embeddings and the model theory of infinitary logic ⋮ On Certain Elementary Extensions of Models of Set Theory ⋮ Model theory of the regularity and reflection schemes ⋮ ZFC PROVES THAT THE CLASS OF ORDINALS IS NOT WEAKLY COMPACT FOR DEFINABLE CLASSES ⋮ Models of set theory with definable ordinals ⋮ Undefinable Classes and Definable Elements in Models of Set Theory and Arithmetic ⋮ Minimal elementary extensions of models of set theory and arithmetic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Model theory via set theory
• Blunt and topless end extensions of models of set theory
• On Certain Elementary Extensions of Models of Set Theory
• On the elementary equivalence of automorphism groups of Boolean algebras; downward Skolem Löwenheim theorems and compactness of related quantifiers
• Elementary extensions of countable models of set theory
• Appendix to models with second order properties II trees with no undefined branches
• Elementary extensions of models of set theory

This page was built for publication: On Certain Elementary Extensions of Models of Set Theory