Kripke–Platek set theory
system of axiomatic set theory developed by Saul Kripke and Richard Platek
Press Enter · cited answer in seconds
0 sources
Kripke–Platek set theory
Summary
Kripke–Platek set theory is an axiomatic set theory[1]. It draws 15 Wikipedia views per month (axiomatic_set_theory category, ranking #6 of 6).[2]
Key Facts
- Kripke–Platek set theory's instance of is recorded as axiomatic set theory[3].
- Saul Kripke is named after Kripke–Platek set theory[4].
- Kripke–Platek set theory's Freebase ID is recorded as /m/048cjm[5].
- Kripke–Platek set theory's Microsoft Academic ID is recorded as 8346251[6].
Why It Matters
Kripke–Platek set theory draws 15 Wikipedia views per month (axiomatic_set_theory category, ranking #6 of 6).[2]