Kripke–Platek set theory
E387803
UNEXPLORED
Kripke–Platek set theory is a weaker, predicative subsystem of Zermelo–Fraenkel set theory focused on sets that are explicitly constructible and often used in the study of admissible sets and recursion theory.
Referenced by (1)
| Subject (surface form when different) | Predicate |
|---|---|
|
set theory
→
|
hasAxiomSystem |