Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
axiom schema
|
| gptkbp:alsoKnownAs |
Δ0-bounding
|
| gptkbp:expressedIn |
collection of sets definable by Δ0 formulas
|
| https://www.w3.org/2000/01/rdf-schema#label |
Δ0-collection
|
| gptkbp:implies |
Δ0-separation
|
| gptkbp:isWeakerThan |
full collection schema
|
| gptkbp:powers |
Δ0-separation
|
| gptkbp:relatedTo |
gptkb:Zermelo–Fraenkel_set_theory
gptkb:Kripke–Platek_set_theory |
| gptkbp:usedIn |
gptkb:set_theory
gptkb:constructive_set_theory |
| gptkbp:bfsParent |
gptkb:Kripke–Platek_set_theory
|
| gptkbp:bfsLayer |
7
|