The following pages link to (Q3001097):
Displaying 5 items.
- An indeterminate universe of sets (Q2054115) (← links)
- On the Construction of Semi-Iterative Methods (Q3339176) (← links)
- On Some Semi-constructive Theories Related to Kripke–Platek Set Theory (Q5214791) (← links)
- Feferman on Set Theory: Infinity up on Trial (Q5214797) (← links)
- PREDICATIVISM AS A FORM OF POTENTIALISM (Q5880421) (← links)