Coding over a measurable cardinal

DOI10.2307/2274810zbMath0714.03046OpenAlexW4233016053MaRDI QIDQ3199412

Sy-David Friedman

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

zbMATH Keywords

forcingcodingGCHfine structureprecipitous idealwell-ordering

Mathematics Subject Classification ID

Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55)

Related Items (1)

Definable Singularity

This page was built for publication: Coding over a measurable cardinal