A guide to “Coding the universe” by Beller, Jensen, Welch

DOI10.2307/2273986zbMath0592.03041OpenAlexW2104254082WikidataQ59620027 ScholiaQ59620027MaRDI QIDQ3720591

Sy-David Friedman

Publication date: 1985

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

constructible universeJensen's coding theoremalmost disjoint forcing

Mathematics Subject Classification ID

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

Related Items (2)

Minimal coding ⋮ A combinatorial forcing for coding the universe by a real when there are no sharps

Cites Work

• Some applications of Jensen's coding theorem
• Powers of regular cardinals

This page was built for publication: A guide to “Coding the universe” by Beller, Jensen, Welch