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.

PropertyValue
prop-cs:wikiPageUsesTemplate
dbpedia-owl:abstract
  • 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.
dbpedia-owl:wikiPageID
  • 143400 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 7223 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 23 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 12394061 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
dbpedia-owl:wikiPageWikiLinkText
  • Teorie polomnožin
  • teorie polomnožin
dcterms:subject
rdfs:comment
  • 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.
rdfs:label
  • Teorie polomnožin
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of