Pages that link to "Item:Q5569103"
From MaRDI portal
The following pages link to Über Endlich‐Axiomatisierbare Teilsysteme der Zermelo‐Fraenkelschen Mengenlehre (Q5569103):
Displayed 5 items.
- Relativized ordinal analysis: the case of power Kripke-Platek set theory (Q392292) (← links)
- Categorical set theory: A characterization of the category of sets (Q1843432) (← links)
- Boolean topoi and the theory of sets (Q2555143) (← links)
- Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions (Q5253934) (← links)
- The strength of Mac Lane set theory (Q5946048) (← links)