Coding over a measurable cardinal
From MaRDI portal
Publication:3199412
DOI10.2307/2274810zbMath0714.03046OpenAlexW4233016053MaRDI QIDQ3199412
Publication date: 1989
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274810
Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55)
Related Items (1)
This page was built for publication: Coding over a measurable cardinal