Coding without fine structure

DOI10.2307/2275573MaRDI QIDQ4372907zbMATH OpenOpenAlexFDO

Authors 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

fine structurecovering theoremcoding theorem0 sharp

Mathematics Subject Classification ID

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

Abstract: We present a proof of Jensen's Coding Theorem (assumong -0#) which quotes the covering lemma, but otherwise makes no appeal to fine structure theory. The key idea is to use a modified definition of the coding at limit cardinals, using "coding delays".

Recommendations

• A simpler proof of Jensen's coding theorem
• A combinatorial forcing for coding the universe by a real when there are no sharps
• A guide to “Coding the universe” by Beller, Jensen, Welch

Cites work

• scientific article; zbMATH DE number 3733900 (Why is no real title available?)
• A simpler proof of Jensen's coding theorem

Cited in

(6)

• Minimal coding
• Coding over core models
• scientific article; zbMATH DE number 218627 (Why is no real title available?)
• A guide to “Coding the universe” by Beller, Jensen, Welch
• Learning without Coding
• Projective Measure Without Projective Baire

This page was built for publication: Coding without fine structure

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4372907)