The envelope of a pointclass under a local determinacy hypothesis

DOI10.1016/J.APAL.2015.05.003MaRDI QIDQ2352255zbMATH OpenOpenAlexFDO

Authors Trevor M. Wilson

Publication date 30 June 2015

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2015.05.003

zbMATH Keywords

derived modeldeterminacypointclassscale

Mathematics Subject Classification ID

Descriptive set theory (03E15) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Determinacy principles (03E60)

Recommendations

• The equivalence of partition properties and determinacy
• Partition properties and well-ordered sequences
• Determinacy in L(ℝ)
• scientific article; zbMATH DE number 3914317
• On the Relative Consistency Strength of Determinacy Hypothesis

Cites work

• Combined Maximality Principles up to large cardinals
• Descriptive set theory
• Elementary induction on abstract structures
• Hod mice and the mouse set conjecture
• scientific article; zbMATH DE number 5504385 (Why is no real title available?)
• scientific article; zbMATH DE number 5521844 (Why is no real title available?)
• scientific article; zbMATH DE number 5521845 (Why is no real title available?)
• scientific article; zbMATH DE number 5521846 (Why is no real title available?)
• scientific article; zbMATH DE number 5521847 (Why is no real title available?)
• scientific article; zbMATH DE number 5521848 (Why is no real title available?)
• scientific article; zbMATH DE number 5521860 (Why is no real title available?)
• scientific article; zbMATH DE number 1442091 (Why is no real title available?)
• Indestructible weakly compact cardinals and the necessity of supercompactness for certain proof schemata
• Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
• More structural consequences of AD
• On the Relative Consistency Strength of Determinacy Hypothesis
• PFA implies AD^L(ℝ)
• Scales in \({\mathbf K}(\mathbb R)\)
• Scales on \(\Pi^2_1\) sets
• Stacking mice
• Structural consequences of AD
• Suitable extender models. I
• The derived model theorem
• The equivalence of partition properties and determinacy
• The largest countable inductive set is a mouse set
• The Theory of Countable Analytical Sets

Cited in

(6)

• Determinacy from strong compactness of \(\omega_1\)
• A brief account of recent developments in inner model theory
• Universally Baire sets and generic absoluteness
• Woodin’s axiom (*), or Martin’s Maximum, or both?
• \(\mathsf{AD}^+\) implies \(\omega_1\) is a club \(\Theta\)-Berkeley cardinal
• Partition properties and well-ordered sequences

This page was built for publication: The envelope of a pointclass under a local determinacy hypothesis

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