The following pages link to Bernays-Gödel type theory (Q1861492):
Displaying 7 items.
- Relating first-order set theories, toposes and categories of classes (Q386623) (← links)
- What is the world of mathematics? (Q598279) (← links)
- Types, tableaus, and Gödel's God (Q1406610) (← links)
- Relating First-Order Set Theories and Elementary Toposes (Q3533518) (← links)
- A Brief Introduction to Algebraic Set Theory (Q3616432) (← links)
- On a Subtheory of the Bernays-Gödel Set Theory (Q3809792) (← links)
- Higher type categories (Q4304137) (← links)