Kripke–Platek set theory with urelements (Q6437113)
Jump to navigation
Jump to search
axiom system for set theory with urelements, based on the traditional (urelement-free) Kripke-Platek set theory, considerably weaker than ZFU
- KPU
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Kripke–Platek set theory with urelements |
axiom system for set theory with urelements, based on the traditional (urelement-free) Kripke-Platek set theory, considerably weaker than ZFU |
|
Statements
KPU (English)
0 references