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

DOI10.1016/0168-0072(94)90078-7zbMath0801.03032OpenAlexW2065938029MaRDI 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

consistencyclass forcing\(\Pi_ 2^ 1\) reals0 sharpSolovay's conjecture

Mathematics Subject Classification ID

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

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

This page was built for publication: A \(\Pi_ 2^ 1\) singleton incompatible with \(0^ \#\)