The following pages link to (Q5875427):
Displaying 6 items.
- Some consequences from proper forcing axiom together with large continuum and the negation of Martin's axiom (Q2407548) (← links)
- A Note on Shoenfield's Unramified Forcing (Q3982864) (← links)
- A combinatorial forcing for coding the universe by a real when there are no sharps (Q4836041) (← links)
- Formalization of Forcing in Isabelle/ZF (Q5049004) (← links)
- Formalizing Galois Theory (Q5094476) (← links)
- The formal verification of the ctm approach to forcing (Q6151819) (← links)