The following pages link to (Q5494227):
Displaying 7 items.
- Generic absoluteness and Boolean names for elements of a Polish space (Q1680748) (← links)
- The ubiquitous axiom (Q2038868) (← links)
- The Bounded Axiom A Forcing Axiom (Q3066296) (← links)
- Lightface $\Sigma^1_2$-indescribable cardinals (Q3420106) (← links)
- AXIOMS FOR DETERMINATENESS AND TRUTH (Q3580669) (← links)
- UNIVERSALLY BAIRE SETS AND GENERIC ABSOLUTENESS (Q4600453) (← links)
- Uniformization and internal absoluteness (Q5889761) (← links)