Coding without fine structure

DOI10.2307/2275573zbMath0891.03022arXivmath/9509208OpenAlexW2594613218MaRDI QIDQ4372907

Sy-David Friedman

Publication date: 8 July 1998

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

Full work available at URL: https://arxiv.org/abs/math/9509208

zbMATH Keywords

covering theoremfine structurecoding theorem0 sharp

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 (1)

Projective Measure Without Projective Baire

Cites Work

• A simpler proof of Jensen's coding theorem
• Unnamed Item

This page was built for publication: Coding without fine structure