A \(\Pi_ 2^ 1\) singleton incompatible with \(0^ \#\)
From MaRDI portal
Publication:1315458
DOI10.1016/0168-0072(94)90078-7zbMath0801.03032MaRDI QIDQ1315458
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
03E15: Descriptive set theory
03E35: Consistency and independence results
03E45: Inner models, including constructibility, ordinal definability, and core models
Cites Work