scientific article; zbMATH DE number 1296809

zbMATH Open0927.03074MaRDI QIDQ4245013FDOQ4245013

Authors: Xishun Zhao, Ju Wang 

Publication date: 8 June 1999

Title of this publication is not available (Why is that?)

Recommendations

• scientific article
• \(\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

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)

Cited In (4)

• Cofinality changes required for a large set of unapproachable ordinals below $\aleph _{\omega +1}$
• Iterating ordinal definability
• Some consistency results concerning Chang's model \(C\)
• Title not available (Why is that?)

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)