A characterisation of 0^{#} in terms of forcing

DOI10.1090/S0002-9939-05-08322-XzbMath1087.03030OpenAlexW1881207384MaRDI QIDQ3373708

Sy-David Friedman

Publication date: 8 March 2006

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/s0002-9939-05-08322-x

zbMATH Keywords

forcingconstructibility0 sharpSilver indiscernibles

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (1)

The internal consistency of Easton's theorem

This page was built for publication: A characterisation of 0^{#} in terms of forcing