Disambiguation evidence for constructive set theory via surface form
"constructive Zermelo–Fraenkel set theory"
Triples (2)
Triples where some other subject referred to this entity
as "constructive Zermelo–Fraenkel set theory".
Kripke–Platek set theory
→
oftenComparedWith
→
"constructive Zermelo–Fraenkel set theory"
ⓘ
↳ resolves to constructive set theory
Algebraic Set Theory
→
isRelatedTo
→
"constructive Zermelo–Fraenkel set theory"
ⓘ
↳ resolves to constructive set theory