The envelope of a pointclass under a local determinacy hypothesis

DOI10.1016/j.apal.2015.05.003zbMath1373.03086OpenAlexW350807775MaRDI QIDQ2352255

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

determinacyscalederived modelpointclass

Mathematics Subject Classification ID

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

Related Items (4)

Determinacy from strong compactness of \(\omega_1\) ⋮ Woodin’s axiom (*), or Martin’s Maximum, or both? ⋮ UNIVERSALLY BAIRE SETS AND GENERIC ABSOLUTENESS ⋮ A brief account of recent developments in inner model theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Elementary induction on abstract structures
• Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
• Scales on \(\Pi^2_1\) sets
• Hod mice and the Mouse Set Conjecture
• Structural Consequences of AD
• SUITABLE EXTENDER MODELS I
• Combined Maximality Principles up to large cardinals
• Stacking mice
• On the Relative Consistency Strength of Determinacy Hypothesis
• The Theory of Countable Analytical Sets
• The largest countable inductive set is a mouse set
• PFA implies AD^L(ℝ)

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