D. Ikegami

collaborators

Showing math.LOShow all

3 papers · 1 filter

math.LO2025

The Axiom of Real Determinacy and the Axiom of Real Blackwell Determinacy

Daisuke Ikegami, W. Hugh Woodin

We show that the Axiom of Real Determinacy $AD_{R}$ and the Axiom of Real Blackwell Determinacy $Bl - AD_{R}$ are equivalent in $\…

math.LO2025

Boolean-valued second-order logic revisited

Daisuke Ikegami

Following the paper~[3] by Väänänen and the author, we continue to investigate on the difference between Boolean-valued second-order logic and full second-order logic. We show that…

math.LO2024

Universally Baire sets in $2^{κ}$

Daisuke Ikegami, Matteo Viale

We generalize the basic theory of universally Baire sets of $2^{ω}$ to a theory of universally Baire subsets of $2^{κ}$ . We show that the fundamental characterizations of the property…

The Axiom of Real Determinacy and the Axiom of Real Blackwell Determinacy

Boolean-valued second-order logic revisited

Universally Baire sets in 2κ

Universally Baire sets in $2^{κ}$