Jensen's Σ* theory and the combinatorial content of V = L

DOI10.2307/2275930MaRDI QIDQ4314693zbMATH OpenOpenAlexFDO

Authors Sy-David Friedman

Publication date 27 November 1994

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

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

zbMATH Keywords

constructibilityfine structurehullsSkolem functionsSkolem systemuniformization

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Inner models, including constructibility, ordinal definability, and core models (03E45)

Abstract: The purpose of this article is to indicate how a reformulation of Jensen's $Sigm{a}^{\ast }$ theory (developed for the study of core models) can be used to provide a more satisfactory treatment of uniformization, hulls and Skolem functions for the $J_{a}lpha$'s. Then we use this approach to fine structure to formulate a principle intended to capture the combinatorial content of the axiom $V=L.$

Recommendations

• Condensation and large cardinals
• On a combinatorial principle of Hajnal and Komjáth
• \(\Sigma ^{*}\) fine structure
• scientific article; zbMATH DE number 3861143
• An Elementary Approach to the Fine Structure of L

Cited in

(5)

• A simpler proof of Jensen's coding theorem
• Smooth categories and global
• \(\Sigma ^{*}\) fine structure
• Condensation and large cardinals
• An Elementary Approach to the Fine Structure of L

This page was built for publication: Jensen's Σ* theory and the combinatorial content of V = L

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