The following pages link to The discovery of forcing. (Q1414982):
Displaying 7 items.
- Paul Cohen and forcing in 1963 (Q645317) (← links)
- First steps towards a formalization of forcing (Q2333671) (← links)
- Levy and set theory (Q2493914) (← links)
- Cohen and Set Theory (Q3616434) (← links)
- (Q3801543) (← links)
- A Computational Interpretation of Forcing in Type Theory (Q5253929) (← links)
- The formal verification of the ctm approach to forcing (Q6151819) (← links)