Kripke–Platek set theory (KP)
GPTKB entity
Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:set_theory
|
| gptkbp:abbreviation |
KP
|
| gptkbp:axiomSystem |
gptkb:set_theory
|
| gptkbp:feature |
does not include axiom of choice
does not include power set axiom includes axiom of extensionality includes axiom of foundation includes axiom of infinity (optional) includes axiom of pairing includes axiom of union includes Δ₀-collection includes Δ₀-separation |
| gptkbp:field |
gptkb:logic
|
| https://www.w3.org/2000/01/rdf-schema#label |
Kripke–Platek set theory (KP)
|
| gptkbp:introducedIn |
1960s
|
| gptkbp:isWeakerThan |
gptkb:Zermelo–Fraenkel_set_theory_(ZF)
|
| gptkbp:namedAfter |
gptkb:Saul_Kripke
gptkb:Richard_Platek |
| gptkbp:usedIn |
gptkb:constructible_universe
recursion theory admissible set theory |
| gptkbp:bfsParent |
gptkb:axiom_of_collection
|
| gptkbp:bfsLayer |
7
|