The following pages link to (Q3425057):
Displaying 8 items.
- Reflexive-insensitive logics, the boxdot translation, and the modal logic of generic absoluteness (Q1982014) (← links)
- How Woodin changed his mind: new thoughts on the continuum hypothesis (Q2339268) (← links)
- Boolean-valued second-order logic (Q2345397) (← links)
- On the Cauchy difference of functions bounded modulo \(\mathbb{Z}\) on ``large'' sets (Q2662884) (← links)
- Woodin’s axiom (*), or Martin’s Maximum, or both? (Q5351855) (← links)
- What makes the continuum ℵ₂ (Q5351859) (← links)
- PROVABLY GAMES (Q5855751) (← links)
- How many real numbers are there? (Q6114787) (← links)
