The Kripke–Platek set theory (KP), pronounced , is an axiomatic set theory developed by Saul Kripke and Richard Platek. The theory can be thought of as roughly the predicative part of Zermelo–Fraenkel set theory (ZFC) and is considerably weaker than it.
The Kripke–Platek set theory (KP), pronounced , is an axiomatic set theory developed by Saul Kripke and Richard Platek. The theory can be thought of as roughly the predicative part of Zermelo–Fraenkel set theory (ZFC) and is considerably weaker than it.
Source: Wikipedia "Kripke–Platek set theory" · CC BY-SA 4.0
Share this article: X · Bluesky