Undefinable Classes and Definable Elements in Models of Set Theory and Arithmetic

DOI10.2307/2047116MaRDI QIDQ3807185zbMATH OpenOpenAlexFDO

Authors Ali Enayat

Publication date 1988

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

zbMATH Keywords

definabilitydefinable pointsmodels of arithmeticmodels of set theoryundefinable classwell-founded model

Mathematics Subject Classification ID

Model-theoretic forcing (03C25) Interpolation, preservation, definability (03C40) Models with special properties (saturated, rigid, etc.) (03C50) Models of arithmetic and set theory (03C62)

Recommendations

• Definable sets and expansions of models of Peano arithmetic
• Descriptive set theory and uncountable model theory
• The classification of countable models of set theory
• TOWARDS A THEORY OF DEFINABLE SETS
• scientific article; zbMATH DE number 4002096
• Closed and unbounded classes and the Härtig quantifier model
• UNDECIDABILITY OF THE THEORIES OF CLASSES OF STRUCTURES
• Pointwise definable models of set theory
• Models of set theory with definable ordinals

Cites work

• Blunt and topless end extensions of models of set theory
• Classes on ZF models
• Conservative extensions of models of set theory and generalizations
• End extensions and numbers of countable models
• Forcing and Models of Arithmetic
• Hanf numbers for omitting types over particular theories
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Models and types of Peano's arithmetic
• On Certain Elementary Extensions of Models of Set Theory
• Some applications of the notions of forcing and generic sets

Cited in

(10)

• The wholeness axiom and Laver sequences
• Models of set theory with definable ordinals
• Ehrenfeucht's lemma in set theory
• The spectrum of elementary embeddings \(j: V \to V\)
• ZFC proves that the class of ordinals is not weakly compact for definable classes
• Enayat models of Peano arithmetic
• Pointwise definable models of set theory
• Neutrally expandable models of arithmetic
• When does every definable nonempty set have a definable element?
• Minimal elementary extensions of models of set theory and arithmetic

This page was built for publication: Undefinable Classes and Definable Elements in Models of Set Theory and Arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3807185)