The envelope of a pointclass under a local determinacy hypothesis

DOI10.1016/J.APAL.2015.05.003zbMATH Open1373.03086OpenAlexW350807775MaRDI QIDQ2352255FDOQ2352255

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

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

zbMATH Keywords

determinacyscalederived modelpointclass

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (5)

• Determinacy from strong compactness of \(\omega_1\)
• A brief account of recent developments in inner model theory
• Woodin’s axiom (*), or Martin’s Maximum, or both?
• Partition properties and well-ordered sequences
• Universally Baire sets and generic absoluteness

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)