KP

E1187529 UNEXPLORED

KP is a subsystem of axiomatic set theory that omits the power set axiom and focuses on sets that are constructible via definable operations.

All labels observed (1)

Label Occurrences
KP canonical 1

How this entity was disambiguated

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.