The complexity of the core model

DOI10.2307/2586656MaRDI QIDQ4254687zbMATH OpenOpenAlexFDO

Authors William J. Mitchell

Publication date 29 November 1999

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

Full work available at URL https://arxiv.org/abs/math/9210202

zbMATH Keywords

core modelcountable initial segmentsdefinabilityinner modelmeasurable cardinals

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45)

Abstract: We use the Sigma^1_3 absoluteness theorem to show that the complexity of the statement "(omega,E)$$ is isomorphic to a member of the core model" is Delta^1_5.

Recommendations

• K without the measurable
• The solidity and nonsolidity of initial segments of the core model
• scientific article; zbMATH DE number 994189
• scientific article; zbMATH DE number 733389

Cited in

(2)

• Complexity of reals in inner models of set theory
• Countable unions of simple sets in the core model

This page was built for publication: The complexity of the core model

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