The following pages link to Bernays and Set Theory (Q3616429):
Displayed 4 items.
- Transfinite recursion and computation in the iterative conception of set (Q510712) (← links)
- Unordered pairs in the set theory of Bourbaki 1949 (Q849219) (← links)
- Algorithmically broad languages for polynomial time and space (Q2148807) (← links)
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS (Q5117593) (← links)