A \(\Pi_ 2^ 1\) singleton incompatible with \(0^ \#\)

DOI10.1016/0168-0072(94)90078-7zbMath0801.03032MaRDI QIDQ1315458

M. C. Stanley

Publication date: 10 March 1994

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(94)90078-7

zbMATH Keywords

consistency; class forcing; \(\Pi_ 2^ 1\) reals; 0 sharp; Solovay's conjecture

Mathematics Subject Classification ID

03E15: Descriptive set theory

03E35: Consistency and independence results

03E45: Inner models, including constructibility, ordinal definability, and core models

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Aspects of constructibility
• A very absolute Π21 real singleton
• $Π^1_2$ singletons and $O^#$
• A new construction of non-constructible ${Δ^1}_3$ subset of ω
• The Π 1 2 -Singleton Conjecture