GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
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