About: Double extension set theory

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

In mathematics, the Double extension set theory (DEST) is an axiomatic set theory proposed by Andrzej Kisielewicz consisting of two separate membership relations on the universe of sets, denoted here by and , and a set of axioms relating the two. The intention behind defining the two membership relations is to avoid the usual paradoxes of set theory, without substantially weakening the axiom of unrestricted comprehension.

Property Value
dbo:abstract
  • In mathematics, the Double extension set theory (DEST) is an axiomatic set theory proposed by Andrzej Kisielewicz consisting of two separate membership relations on the universe of sets, denoted here by and , and a set of axioms relating the two. The intention behind defining the two membership relations is to avoid the usual paradoxes of set theory, without substantially weakening the axiom of unrestricted comprehension. Intuitively, in DEST, comprehension is used to define the elements of a set under one membership relation using formulas that involve only the other membership relation. Let be a first-order formula with free variable in the language of DEST not involving the membership relation . Then, the axioms of DEST posit a set such that . For instance, is a formula involving only , and thus DEST posits the Russell set , where . Observe that for , we obtain . Since the membership relations are different, we thus avoid the Russell's paradox. The focus in DEST is on regular sets, which are sets whose extensions under the two membership relations coincide, i.e., sets for which it holds that . The preceding discussion suggests that the Russell set cannot be regular, as otherwise it leads to the Russell's paradox. (en)
dbo:wikiPageID
  • 68403860 (xsd:integer)
dbo:wikiPageLength
  • 2245 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1041093450 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dcterms:subject
rdfs:comment
  • In mathematics, the Double extension set theory (DEST) is an axiomatic set theory proposed by Andrzej Kisielewicz consisting of two separate membership relations on the universe of sets, denoted here by and , and a set of axioms relating the two. The intention behind defining the two membership relations is to avoid the usual paradoxes of set theory, without substantially weakening the axiom of unrestricted comprehension. (en)
rdfs:label
  • Double extension set theory (en)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
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