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.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label Occurrences
KP canonical 1

Referenced by (1)

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

Kripke–Platek set theory → abbreviation → KP ⓘ