A functorial \(\pi ^ 1_ 2\) singleton

DOI10.1016/0001-8708(89)90010-8zbMath0683.03031OpenAlexW2029290382MaRDI QIDQ1824615

Yanyan Li

Publication date: 1989

Published in: Advances in Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0001-8708(89)90010-8

zbMATH Keywords

cardinal and cofinality preserving class forcingJensen coding

Mathematics Subject Classification ID

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

Related Items

\(\Delta_ 1\)-definability, A combinatorial forcing for coding the universe by a real when there are no sharps

Cites Work

• Unnamed Item
• Strong coding
• A very absolute Π21 real singleton
• Some applications of Jensen's coding theorem
• Analytic determinacy and 0^#
• A Nonconstructible Δ 1 3 Set of Integers
• Some applications of model theory in set theory
• The fine structure of the constructible hierarchy