Pages that link to "Item:Q5668423"
From MaRDI portal
The following pages link to Two notes on the foundations of set-theory (Q5668423):
Displaying 8 items.
- Elementary inductive definitions in HA: From strictly positive towards monotone (Q920089) (← links)
- Frege's double correlation thesis and Quine's set theories NF and ML (Q1076005) (← links)
- Categoricity results for second-order ZF in dependent type theory (Q1687749) (← links)
- On Takeuti's early view of the concept of set (Q2097059) (← links)
- Categoricity results and large model constructions for second-order ZF in dependent type theory (Q2319994) (← links)
- Mathematical determinacy and the transferability of aboutness (Q2460192) (← links)
- Proper classes (Q3337450) (← links)
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS (Q5117593) (← links)