BKP set theory

URI: https://gptkb.org/entity/BKP_set_theory
GPTKB entity
Statements (15)
Predicate Object
gptkbp:instanceOf gptkb:set_theory
gptkbp:alternativeName gptkb:Bernays–Kuratowski–von_Neumann_set_theory
gptkbp:countryOfOrigin gptkb:Poland
gptkbp:developedBy 1920s
gptkbp:field gptkb:mathematics
gptkb:set_theory
https://www.w3.org/2000/01/rdf-schema#label BKP set theory
gptkbp:namedAfter gptkb:Alfred_Tarski
gptkb:Kazimierz_Kuratowski
gptkb:Wacław_Sierpiński
gptkbp:notableFor class and set distinction
gptkbp:relatedTo gptkb:Zermelo–Fraenkel_set_theory
gptkb:von_Neumann–Bernays–Gödel_set_theory
gptkbp:bfsParent gptkb:Barwise–Kunen–Platek_set_theory
gptkbp:bfsLayer 7