# Questions tagged [determinacy]

The tag has no usage guidance.

91 questions
Filter by
Sorted by
Tagged with
534 views

### Cardinal arithmetic under determinacy

Work in a reasonable theory of determinacy such as $\mathsf{ZF+DC+AD}$. Which of the following identities are true for arbitrary infinite sets? $|A^2|=|A^3|$ (motivated by an MSE question that asks ...
• 657
431 views

### Determinacy and Woodin cardinals

I am looking for a reference for the following result: Theorem Assume $\kappa$ is a Woodin cardinal. Then after forcing with the Levy collapse $\mathbb{P}=Col(\omega, \kappa)$, the $\Sigma^1_2$-...
• 31.8k
168 views

### Periodicity in the cumulative hierarchy

Under Reinhardt cardinals in ZF, the cumulative hierarchy exhibits a periodicity in that for large enough $λ$, certain properties of $V_λ$ depend on whether $λ$ is even vs odd. See Periodicity in the ...
• 6,405
107 views

### Uniformization and functions on Turing degrees

Assuming Martin's Conjecture on functions between Turing degrees, is AD + DC consistent with existence of an $f:\mathcal{D}_t → \mathcal{D}_t$ of rank $Θ$ ? $\mathcal{D}_t$ is the set of Turing ...
• 6,405
121 views

### From HODs to corresponding models of AD

If $M$ is HOD of a model $N$ of $\text{AD}^+ + V=L(P(ℝ))$, what kind of forcing construction in $M$ gives back such an $N$? HODs for $\text{AD}^+ + V=L(P(ℝ))$ are conjectured (and under anti-large ...
• 6,405
171 views

### Complexity of transfinite 5-in-a-row and other games

Suppose that 5-in-a-row is played on an infinite board, and after an infinite number of moves, if no one won yet and there is an empty square, the game just continues. At limit steps, it is the first ...
• 6,405
112 views

• 20.8k
540 views

### Large cardinals in ZF + DC + AD

The Axiom of Dependent Choice (DC) is often considered to be an "intuitive and non-controversial" version of choice used in the proofs of many theorems in Analysis. Similarly, the Axiom of ...
• 411
165 views

### Upper-bounding determinacy

While the converse of Borel determinacy ("If a set of reals is determined, then it is Borel") is boringly disprovable, I'm curious if there is a sense in which something like it is ...
• 20.8k
149 views

• 20.8k
214 views

### Is any choice axiom other than WISC inherited by Grothendieck topoi?

It is well known that even if one works with say ZFC as a base theory, Grothendieck topoi do not in general satisfy even fairly weak axioms like countable choice or small violations of choice and one ...
• 1,873
139 views

### Weakening of open determinacy for uncountably long games

For a cardinal $\kappa$ I'll use the phrase "$(\kappa,\kappa)$-game" to mean "two-player, perfect-information, deterministic game on $\kappa$ of length $\kappa$." Say that a ...
• 20.8k
360 views

### A game of harmonic series(s)

Given a set $A\subseteq\mathbb{R}_{>0}$, consider the following (two-player, perfect-information, length-$\omega$) game $H_A$: Players $1$ and $2$ alternately play strictly increasing natural ...
• 20.8k
96 views

### Strong determinacy principles

It seems to be a well-known result that $\mathrm{AD}_{\omega_1}$ and $\mathrm{AD}_{\mathscr{P}(\mathbb{R})}$ (determinacy of $\omega$-length games with moves in $\omega_1$ or $\mathscr{P}(\mathbb{R})$,...
• 1,155
254 views

### Existence of a winning strategy in the $\boldsymbol{\Delta}_2^0$ game

Consider the following infinite perfect information game with two players (the name I gave in the title of the post it totally made up): at each round $i \in \omega$, player $\mathrm{I}$ picks a ...
• 2,256
339 views

• 20.8k
500 views

### Can a generic $\mathbb{R}$ have a new cardinality?

This question was asked and bountied at MSE, without success. My main question is whether, starting with a model of determinacy, a "generic $\mathbb{R}$" could be different in cardinality ...
• 20.8k
442 views

### Comparing generic versions of $\mathbb{R}$

This question was previously asked and bountied at MSE, unsuccessfully. I'm currently interested in the behavior of cardinalities in generic extensions of models of $\mathsf{ZF+\neg AC}$, and ...
• 20.8k
820 views

### Is there a minimal inner model for determinacy?

Assume $\sf ZF+AD$. Is there some inner model $M$ containing all the ordinals such that $M\models\sf ZF+AD$ as well? What if we require $\omega_1$ and/or $\omega_2$ to be computed correctly? Can we ...
• 38.9k
290 views

### Pointwise definable models of determinacy

Suppose that the Axiom of Determinacy (AD) holds in $L(ℝ)$, and for some statement φ, $α$ is minimal such that $L_α(ℝ)⊨φ$. Do definable (in $L_α(ℝ)$) elements of $L_α(ℝ)$ form an elementary ...
• 6,405
227 views

### Aronszajn Trees when AC fails

This question may be easy and indicative of my ignorance about the failure of the axiom of choice. If so, I apologize. Below assume $\mathsf{DC}$ but not $\mathsf{AC}$. Suppose we have a partial order ...
• 1,852
195 views

### An analytic game and Ramsey's theorem

Let $$P=\{(l_n, m_n)_{n=1}^t: l_n, m_n,t\in\mathbb{N}, l_1<\ldots <l_t, m_1<\ldots <m_t\}$$ and suppose that $T$ is some subset of $P$. Suppose that $T$ also has the following properties: ...
• 59
241 views

### Forcing absoluteness in the setting of second-order arithmetic

There are some results about (set-size) forcing absoluteness for first-order properties in $L(\mathbb{R})$ and for $\mathbf{\Pi}^1_{\infty}$ properties when one works over $\mathsf{ZFC}$. My question ...
• 5,811
158 views

### Strength of $Δ^1_{2n}$ determinacy

According to Lightface mice with finitely many Woodin cardinals from optimal determinacy hypotheses by Yizheng Zhu, theorem 1.1, over $\mathbf{Σ^1_{2n+1}}$ determinacy, $Δ^1_{2n+2}$ determinacy is ...
• 6,405
233 views

It was mentioned after Theorem 30.27 in Kanamori's Higher Infinite that Woodin constructed a model of $DC$ + there exists unboundedly many many $\kappa<\Theta$ such that $\kappa \to (\kappa)^\... • 3,018 2 votes 0 answers 1k views ### The Rise and Fall of Dictators & How it Depends on Our Choice This question is loosely inspired by the following paper of Shelah on Arrow property in which he answered a question of Gil Kalai affirmatively. Shelah, Saharon, On the Arrow property. Adv. in Appl. ... 2 votes 1 answer 321 views ### Is$Z_3+{\rm AD}$equiconsistent with$\text{ZFC+AD}^{L(\mathbb{R})}$Let$Z_2$and$Z_3$be second and third order arithmetics respectively. In$Z_2$'s language,$\text{AD}$(the axiom of determinacy) and$\text{PD}$(projective determinacy) are stated the same way (... 11 votes 1 answer 668 views ### The Axiom of Determinacy and the Banach-Mazur game The Wikipedia article on the Axiom of Determinacy (AD) claims: Equivalent to the axiom of determinacy is the statement that for every subspace X of the real numbers, the Banach–Mazur game BM(X) is ... • 4,846 9 votes 0 answers 256 views ### A bi-modal logic related to determinacy The short version of my question is as follows. There is a natural (I hope!) way to associate a bimodal theory to a game (two-player, perfect-information, length-$\omega$, on$\omega$); are there "... • 20.8k 9 votes 1 answer 722 views ### Can the Turing degrees be linearly ordered? Assuming the axiom of choice, every set can be linearly (indeed, well-) ordered. However, without choice this can fail, as witnessed most drastically by the consistency of amorphous sets. More ... • 20.8k 3 votes 2 answers 360 views ### Strong limit cardinals in AD In this question, I will be working in ZF. Let$h(\kappa)$for a cardinal$\kappa$(not necessarily an ordinal) be the smallest ordinal$\alpha$such that there is no surjection from a set of size$\...
• 1,252
Is there a function $f:2^{<ℕ}→\{0,1\}$ such that for all $X∈{2^ℕ}$ with $X_{2i+1}=f(X_0,...,X_i)$ all hyperarithmetical properties of the polynomial time degree of $X$ are independent of $X$? The ...