About: Kuratowski's free set theorem

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Kuratowski's free set theorem, named after Kazimierz Kuratowski, is a result of set theory, an area of mathematics. It is a result which has been largely forgotten for almost 50 years, but has been applied recently in solving several lattice theory problems, such as the congruence lattice problem. The theorem states the following. Let be a positive integer and let be a set. Then the cardinality of is greater than or equal to if and only if for every mapping from to ,there exists an -element free subset of with respect to . For , Kuratowski's free set theorem is superseded by .

Property Value
dbo:abstract
  • Kuratowski's free set theorem, named after Kazimierz Kuratowski, is a result of set theory, an area of mathematics. It is a result which has been largely forgotten for almost 50 years, but has been applied recently in solving several lattice theory problems, such as the congruence lattice problem. Denote by the set of all finite subsets of a set . Likewise, for a positive integer , denote by the set of all -elements subsets of . For a mapping , we say that a subset of is free (with respect to ), if for any -element subset of and any , . Kuratowski published in 1951 the following result, which characterizes the infinite cardinals of the form . The theorem states the following. Let be a positive integer and let be a set. Then the cardinality of is greater than or equal to if and only if for every mapping from to ,there exists an -element free subset of with respect to . For , Kuratowski's free set theorem is superseded by . (en)
dbo:wikiPageID
  • 9750368 (xsd:integer)
dbo:wikiPageLength
  • 2100 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 901584371 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dcterms:subject
rdfs:comment
  • Kuratowski's free set theorem, named after Kazimierz Kuratowski, is a result of set theory, an area of mathematics. It is a result which has been largely forgotten for almost 50 years, but has been applied recently in solving several lattice theory problems, such as the congruence lattice problem. The theorem states the following. Let be a positive integer and let be a set. Then the cardinality of is greater than or equal to if and only if for every mapping from to ,there exists an -element free subset of with respect to . For , Kuratowski's free set theorem is superseded by . (en)
rdfs:label
  • Kuratowski's free set theorem (en)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License