About: Post's lattice

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

In logic and universal algebra, Post's lattice denotes the lattice of all clones on a two-element set {0, 1}, ordered by inclusion. It is named for Emil Post, who published a complete description of the lattice in 1941. The relative simplicity of Post's lattice is in stark contrast to the lattice of clones on a three-element (or larger) set, which has the cardinality of the continuum, and a complicated inner structure. A modern exposition of Post's result can be found in Lau (2006).

thumbnail
Property Value
dbo:abstract
  • In logic and universal algebra, Post's lattice denotes the lattice of all clones on a two-element set {0, 1}, ordered by inclusion. It is named for Emil Post, who published a complete description of the lattice in 1941. The relative simplicity of Post's lattice is in stark contrast to the lattice of clones on a three-element (or larger) set, which has the cardinality of the continuum, and a complicated inner structure. A modern exposition of Post's result can be found in Lau (2006). (en)
  • Решітка Поста (ґратка Поста) — ґратка всіх клонів на булевій множині (булева множина позначається 2={0, 1}) відсортована за включенням. Була описана Емілем Постом в 1941 році. Використовується в математичній логіці та універсальній алгебрі. (uk)
dbo:thumbnail
dbo:wikiPageID
  • 15536340 (xsd:integer)
dbo:wikiPageLength
  • 15174 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1088369862 (xsd:integer)
dbo:wikiPageWikiLink
dcterms:subject
rdfs:comment
  • In logic and universal algebra, Post's lattice denotes the lattice of all clones on a two-element set {0, 1}, ordered by inclusion. It is named for Emil Post, who published a complete description of the lattice in 1941. The relative simplicity of Post's lattice is in stark contrast to the lattice of clones on a three-element (or larger) set, which has the cardinality of the continuum, and a complicated inner structure. A modern exposition of Post's result can be found in Lau (2006). (en)
  • Решітка Поста (ґратка Поста) — ґратка всіх клонів на булевій множині (булева множина позначається 2={0, 1}) відсортована за включенням. Була описана Емілем Постом в 1941 році. Використовується в математичній логіці та універсальній алгебрі. (uk)
rdfs:label
  • Post's lattice (en)
  • Решітка Поста (uk)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:knownFor of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:knownFor 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