Bounds on the strength of ordinal definable determinacy in small admissible sets

DOI10.1215/00294527-1716766zbMath1269.03052OpenAlexW1984168606MaRDI QIDQ1762358

Diego Rojas-Rebolledo

Publication date: 23 November 2012

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1348524116

zbMATH Keywords

large cardinalsdeterminacyadmissible sets

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Countable admissible ordinals and hyperdegrees
• Unraveling \(\boldsymbol\Pi_1^1\) sets
• Determinacy in the Mitchell models
• On the Relative Consistency Strength of Determinacy Hypothesis
• A Proof of Projective Determinacy
• Sets constructible from sequences of ultrafilters
• Analytic determinacy and 0^#
• Barwise: Infinitary Logic and Admissible Sets
• Measurable cardinals and analytic games
• The next admissible set

This page was built for publication: Bounds on the strength of ordinal definable determinacy in small admissible sets