Teorie polomnožin je matematická teorie zobecňující teorii množin, která byla vyvinuta v 70. a 80. letech 20. století Petrem Vopěnkou a Petrem Hájkem. Její axiomatizace je podobná Von Neumann-Gödel-Bernaysově teorii množin, ale liší se tím, že umožňuje existenci vlastních tříd, které jsou částí nějaké množiny. Tato vlastnost umožňuje polomnožinám sloužit jako základ Vopěnkovy alternativní teorie množin.
Property | Value |
---|---|
prop-cs:wikiPageUsesTemplate | |
dbpedia-owl:abstract |
|
dbpedia-owl:wikiPageID |
|
dbpedia-owl:wikiPageLength |
|
dbpedia-owl:wikiPageOutDegree |
|
dbpedia-owl:wikiPageRevisionID |
|
dbpedia-owl:wikiPageWikiLink |
|
dbpedia-owl:wikiPageWikiLinkText |
|
dcterms:subject | |
rdfs:comment |
|
rdfs:label |
|
prov:wasDerivedFrom | |
foaf:isPrimaryTopicOf | |
is dbpedia-owl:wikiPageRedirects of | |
is dbpedia-owl:wikiPageWikiLink of | |
is foaf:primaryTopic of |