Kripke–Platek set theory
id:
kripke-platek-set-theory-240-1819797
title:
Kripke–Platek set theory
text:
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 ZFC and is considerably weaker than it.
brand slug:
wiki
category slug:
encyclopedia
description:
System of mathematical set theory
original url:
https://en.wikipedia.org/wiki/Kripke%E2%80%93Platek_set_theory
date created:
date modified:
2024-01-01T12:19:08Z
main entity:
{"identifier":"Q3526833","url":"https://www.wikidata.org/entity/Q3526833"}
image:
fields total:
13
integrity:
14