Kripke–Platek set theory with urelements
id:
kripke-platek-set-theory-with-urelements-242-14761363
title:
Kripke–Platek set theory with urelements
text:
The Kripke–Platek set theory with urelements (KPU) is an axiom system for set theory with urelements, based on the traditional (urelement-free) Kripke–Platek set theory. It is considerably weaker than the (relatively) familiar system ZFU. The purpose of allowing urelements is to allow large or high-complexity objects to be included in the theory's transitive models without disrupting the usual well-ordering and recursion-theoretic properties of the constructible universe; KP is so weak that this
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_with_urelements
date created:
date modified:
2024-04-21T21:23:06Z
main entity:
{"identifier":"Q6437113","url":"https://www.wikidata.org/entity/Q6437113"}
image:
fields total:
13
integrity:
14