Disambiguation evidence for ZF via surface form

"ZFC"

Triples (9)

Triples where some other subject referred to this entity as "ZFC".

Zermelo–Fraenkel set theory → hasVariant →
"ZFC"
↳ resolves to ZF
ⓘ
Zermelo–Fraenkel set theory → extension →
"ZFC"
↳ resolves to ZF
ⓘ
Cantor’s theorem → holdsIn →
"ZFC"
↳ resolves to ZF
ⓘ
ZF → isExtendedBy →
"ZFC"
↳ resolves to ZF
ⓘ
ZF → differsFrom →
"ZFC"
↳ resolves to ZF
ⓘ
axiom schema of separation → usedIn →
"ZFC"
↳ resolves to ZF
ⓘ
constructible universe → satisfiesTheory →
"ZFC"
↳ resolves to ZF
ⓘ
continuum hypothesis → relatedTo →
"ZFC"
↳ resolves to ZF
ⓘ
continuum hypothesis → independenceFrom →
"ZFC"
↳ resolves to ZF
ⓘ