A Note on Jensen's Covering Lemma

DOI10.2307/2045080zbMath0529.03031OpenAlexW4256401080WikidataQ124798739 ScholiaQ124798739MaRDI QIDQ3310611

Péter Komjáth

Publication date: 1983

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

Full work available at URL: https://doi.org/10.2307/2045080

zbMATH Keywords

iterated forcinginner modelsorder-types

Mathematics Subject Classification ID

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

This page was built for publication: A Note on Jensen's Covering Lemma