Barwise–Kunen–Platek set theory
GPTKB entity
Statements (16)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:set_theory
|
| gptkbp:alsoKnownAs |
gptkb:BKP_set_theory
|
| gptkbp:extendsTo |
gptkb:Kripke–Platek_set_theory
|
| gptkbp:field |
gptkb:logic
gptkb:set_theory |
| gptkbp:hasAxiom |
admissibility
|
| https://www.w3.org/2000/01/rdf-schema#label |
Barwise–Kunen–Platek set theory
|
| gptkbp:isAxiomaticSystem |
true
|
| gptkbp:namedAfter |
gptkb:Richard_Platek
gptkb:Jon_Barwise gptkb:Kenneth_Kunen |
| gptkbp:usedIn |
model theory
recursion theory admissible set theory |
| gptkbp:bfsParent |
gptkb:Richard_Platek
|
| gptkbp:bfsLayer |
6
|