A functorial \(\pi ^ 1_ 2\) singleton
From MaRDI portal
Publication:1824615
DOI10.1016/0001-8708(89)90010-8zbMath0683.03031MaRDI QIDQ1824615
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
03E35: Consistency and independence results
03E45: Inner models, including constructibility, ordinal definability, and core models
Related Items
A combinatorial forcing for coding the universe by a real when there are no sharps, \(\Delta_ 1\)-definability
Cites Work