Conservative extensions of models of set theory and generalizations

DOI10.2307/2273912zbMath0627.03017OpenAlexW2138020078MaRDI QIDQ3030803

Ali Enayat

Publication date: 1986

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

end extensionconservative extensionmodels of Peano arithmeticcofinal extensionMahlo cardinalsfaithful extensionelementary extensions of models of set theory

Mathematics Subject Classification ID

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

Related Items (3)

Set theory with a proper class of indiscernibles ⋮ 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
• A minimal extension that is not conservative
• Blunt and topless end extensions of models of set theory
• Weakly compact cardinals in models of set theory
• On the elementary equivalence of automorphism groups of Boolean algebras; downward Skolem Löwenheim theorems and compactness of related quantifiers
• On κ-like structures which embed stationary and closed unbounded subsets
• Models with second order properties II. Trees with no undefined branches
• On power-like models for hyperinaccessible cardinals
• Logic with the quantifier “there exist uncountably many”
• Fundamenta Mathematicae: An Examination of Its Founding and Significance

This page was built for publication: Conservative extensions of models of set theory and generalizations