Pages that link to "Item:Q2333671"
From MaRDI portal
The following pages link to First steps towards a formalization of forcing (Q2333671):
Displaying 7 items.
- An axiomatic approach to forcing and generic extensions (Q2209009) (← links)
- Forcing with propositional Lindenbaum algebras (Q3510446) (← links)
- (Q3801543) (← links)
- Forcing in Proof Theory (Q4678943) (← links)
- Formalization of Forcing in Isabelle/ZF (Q5049004) (← links)
- (Q5875427) (← links)
- The formal verification of the ctm approach to forcing (Q6151819) (← links)