Disambiguation evidence for Kripke–Platek set theory via surface form
"Kripke–Platek set theory with urelements"
Triples (2)
Triples where some other subject referred to this entity
as "Kripke–Platek set theory with urelements".
Kripke–Platek set theory
→
hasVariant
→
"Kripke–Platek set theory with urelements"
ⓘ
↳ resolves to Kripke–Platek set theory
Kripke–Platek set theory
→
hasConservativeExtension
→
"Kripke–Platek set theory with urelements"
ⓘ
↳ resolves to Kripke–Platek set theory