3 papers
math.LO2026
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 and the Axiom of Real Blackwell Determinacy 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 t…
math.LO2024
Universally Baire sets in
Daisuke Ikegami, Matteo Viale
We generalize the basic theory of universally Baire sets of to a theory of universally Baire subsets of . We show that the fundamental characterizations of the propert…