Kripke–Platek set theory with urelements (Q6437113)

From Wikidata
Jump to: navigation, search
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
  • KPU
edit
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. It is considerably weaker than the (relatively) familiar system ZFU
  • KPU

Statements

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit