Bounds on the strength of ordinal definable determinacy in small admissible sets
type: Item
instance of: scholarly article
title: Bounds on the strength of ordinal definable determinacy in small admissible sets
zbMATH Open document ID: 1269.03052
DOI: 10.1215/00294527-1716766
author: Diego Rojas Rebolledo
published in: Notre Dame Journal of Formal Logic
publication date: 2012-11-23T00:00:00Z
full work available at URL: https://projecteuclid.org/euclid.ndjfl/1348524116
review text: The author presents upper and lower bounds on the large-cardinal strength of a statement, denoted by Det\((*)\), which asserts that a certain admissible set believes that every ordinal-definable class of reals is determined. Before defining Det\((*)\), we introduce some notation. For any real \(x\in{^\omega}\omega\), let \(M_x=L_\alpha[x]\), where \(\alpha\) is the least ordinal so that \(L_\alpha[x]\) is admissible and \(x\in L_\alpha[x]\). Let \(\varphi(v)\) be a first-order formula, in the language of set theory, in which ordinal parameters in \(M_x\) are allowed to appear. Define the set of reals \(X_{\varphi}=\{y\in M_x\cap {^\omega}\omega : M_x\models \varphi(y)\}\). Observe that \(X_\varphi\) is a class in \(M_x\). Now let \(M_x\models \text{Det(OD)}\) represent the sentence: For every such formula \(\varphi\) we have that \(M_x\models\) ``\(X_\varphi\) is determined''. Finally, define Det\((*)\) to be the assertion \((\exists x\in {^\omega}\omega) (M_x\models \text{Det(OD)})\). The author identifies a large-cardinal assumption LC\((*)\), which is just below that of ``the existence of a premouse-like structure with a measurable cardinal \(\kappa\) of Mitchell order \(\kappa^{++}\) and \(\omega\) successors'', and then proves that LC\((*)\) implies Det\((*)\). Thus, LC\((*)\) is an upper bound for Det\((*)\). A. Lewis has previously shown that Det\((*)\) implies the existence of a countable model of ZFC with \(\lambda\)-many measurable cardinals (with \(\lambda\) recursive). The author improves this lower bound by showing that Det\((*)\) implies the existence of a ZFC model with stronger sequences of measures.
reviewed by: Daniel W. Cunningham
Mathematics Subject Classification ID: 03E45
Mathematics Subject Classification ID: 03E55
Mathematics Subject Classification ID: 03E60
zbMATH DE Number: 6110277
zbMATH Keywords: determinacy
zbMATH Keywords: admissible sets
zbMATH Keywords: large cardinals
MaRDI profile type: Publication
OpenAlex ID: W1984168606
cites work: The next admissible set
cites work: Q4075450
cites work: Analytic determinacy and 0#
cites work: On the Relative Consistency Strength of Determinacy Hypothesis
cites work: Barwise: Infinitary Logic and Admissible Sets
cites work: Measurable cardinals and analytic games
cites work: A Proof of Projective Determinacy
cites work: Sets constructible from sequences of ultrafilters
cites work: Unraveling \(\boldsymbol\Pi_1^1\) sets
cites work: Countable admissible ordinals and hyperdegrees
cites work: Q3819052
cites work: Determinacy in the Mitchell models
description: scientific article; zbMATH DE number 6110277