scientific article; zbMATH DE number 1296809

MaRDI QIDQ4245013zbMATH OpenFDO

Authors Xishun Zhao, Ju Wang

Publication date 8 June 1999

zbMATH Keywords

forcingChang's model \(C\)hereditarily \(\omega_1\)-ordinal definable sets

Mathematics Subject Classification ID

Consistency and independence results (03E35) Other infinitary logic (03C75) Inner models, including constructibility, ordinal definability, and core models (03E45)

Recommendations

• scientific article; zbMATH DE number 6536275
• \(\omega\)-models of finite set theory
• Models of set theory with definable ordinals
• On characterization, definability and \(\omega \)-saturated models
• Well-ordering Principles, ω-models and $$ \varPi_{1}^{1} $$-comprehension
• Incomparable \(\omega_1\)-like models of set theory
• Analogues of Chaitin's Omega in the computably enumerable sets
• On \(\lambda \)-definable functions on ordinals
• Ordinals in an algebra-valued model of a paraconsistent set theory
• \(\Sigma \)-definability of uncountable models of \(c\)-simple theories

Cited in

(4)

• Iterating ordinal definability
• scientific article; zbMATH DE number 6536275 (Why is no real title available?)
• Some consistency results concerning Chang's model \(C\)
• Cofinality changes required for a large set of unapproachable ordinals below $\aleph _{\omega +1}$

This page was built for publication:

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