Open Access
2012 Bounds on the Strength of Ordinal Definable Determinacy in Small Admissible Sets
Diego Rojas-Rebolledo
Notre Dame J. Formal Logic 53(3): 351-371 (2012). DOI: 10.1215/00294527-1716766

Abstract

We give upper and lower bounds for the strength of ordinal definable determinacy in a small admissible set. The upper bound is roughly a premouse with a measurable cardinal κ of Mitchell order κ++ and ω successors. The lower bound are models of ZFC with sequences of measurable cardinals, extending the work of Lewis, below a regular limit of measurable cardinals.

Citation

Download Citation

Diego Rojas-Rebolledo. "Bounds on the Strength of Ordinal Definable Determinacy in Small Admissible Sets." Notre Dame J. Formal Logic 53 (3) 351 - 371, 2012. https://doi.org/10.1215/00294527-1716766

Information

Published: 2012
First available in Project Euclid: 24 September 2012

zbMATH: 1269.03052
MathSciNet: MR2981013
Digital Object Identifier: 10.1215/00294527-1716766

Subjects:
Primary: 03E45
Secondary: 03E55 , 03E60

Keywords: admissible sets , determinacy , large cardinals

Rights: Copyright © 2012 University of Notre Dame

Vol.53 • No. 3 • 2012
Back to Top