Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Non-well-founded_set_theory> ?p ?o }
Showing triples 1 to 86 of
86
with 100 triples per page.
- Non-well-founded_set_theory abstract "Non-well-founded set theories are variants of axiomatic set theory that allow sets to contain themselves and otherwise violate the rule of well-foundedness. In non-well-founded set theories, the foundation axiom of ZFC is replaced by axioms implying its negation.The study of non-well-founded sets was initiated by Dmitry Mirimanoff in a series of papers between 1917 and 1920, in which he formulated the distinction between well-founded and non-well-founded sets; he did not regard well-foundedness as an axiom. Although a number of axiomatic systems of non-well-founded sets were proposed afterwards, they did not find much in the way of applications until Peter Aczel’s hyperset theory in 1988.The theory of non-well-founded sets has been applied in the logical modelling of non-terminating computational processes in computer science (process algebra and final semantics), linguistics and natural language semantics (situation theory), philosophy (work on the Liar Paradox), and in a different setting, non-standard analysis.".
- Non-well-founded_set_theory wikiPageExternalLink nonwellfounded-set-theory.
- Non-well-founded_set_theory wikiPageExternalLink view?rid=ensmat-001:1917:19::9&id=hitlist.
- Non-well-founded_set_theory wikiPageExternalLink axreg.html.
- Non-well-founded_set_theory wikiPageExternalLink russelle.pdf.
- Non-well-founded_set_theory wikiPageID "1091767".
- Non-well-founded_set_theory wikiPageLength "10839".
- Non-well-founded_set_theory wikiPageOutDegree "55".
- Non-well-founded_set_theory wikiPageRevisionID "647862764".
- Non-well-founded_set_theory wikiPageWikiLink Aczels_anti-foundation_axiom.
- Non-well-founded_set_theory wikiPageWikiLink Alternative_set_theory.
- Non-well-founded_set_theory wikiPageWikiLink Axiom.
- Non-well-founded_set_theory wikiPageWikiLink Axiom_of_extensionality.
- Non-well-founded_set_theory wikiPageWikiLink Axiom_of_regularity.
- Non-well-founded_set_theory wikiPageWikiLink Binary_relation.
- Non-well-founded_set_theory wikiPageWikiLink Bisimulation.
- Non-well-founded_set_theory wikiPageWikiLink Category:Self-reference.
- Non-well-founded_set_theory wikiPageWikiLink Category:Systems_of_set_theory.
- Non-well-founded_set_theory wikiPageWikiLink Category:Wellfoundedness.
- Non-well-founded_set_theory wikiPageWikiLink Computing.
- Non-well-founded_set_theory wikiPageWikiLink Conceptual_model.
- Non-well-founded_set_theory wikiPageWikiLink Dana_Scott.
- Non-well-founded_set_theory wikiPageWikiLink Dmitry_Mirimanoff.
- Non-well-founded_set_theory wikiPageWikiLink Ernst_Specker.
- Non-well-founded_set_theory wikiPageWikiLink Extensionality.
- Non-well-founded_set_theory wikiPageWikiLink Final_semantics.
- Non-well-founded_set_theory wikiPageWikiLink Habilitation.
- Non-well-founded_set_theory wikiPageWikiLink If_and_only_if.
- Non-well-founded_set_theory wikiPageWikiLink Independence_(mathematical_logic).
- Non-well-founded_set_theory wikiPageWikiLink John_Etchemendy.
- Non-well-founded_set_theory wikiPageWikiLink John_von_Neumann.
- Non-well-founded_set_theory wikiPageWikiLink Jon_Barwise.
- Non-well-founded_set_theory wikiPageWikiLink Liar_paradox.
- Non-well-founded_set_theory wikiPageWikiLink Linguistics.
- Non-well-founded_set_theory wikiPageWikiLink Logic.
- Non-well-founded_set_theory wikiPageWikiLink Maurice_Boffa.
- Non-well-founded_set_theory wikiPageWikiLink Metamath.
- Non-well-founded_set_theory wikiPageWikiLink Natural_language.
- Non-well-founded_set_theory wikiPageWikiLink New_Foundations.
- Non-well-founded_set_theory wikiPageWikiLink Non-standard_analysis.
- Non-well-founded_set_theory wikiPageWikiLink Paul_Bernays.
- Non-well-founded_set_theory wikiPageWikiLink Paul_Finsler.
- Non-well-founded_set_theory wikiPageWikiLink Peter_Aczel.
- Non-well-founded_set_theory wikiPageWikiLink Process_calculus.
- Non-well-founded_set_theory wikiPageWikiLink Riegers_theorem.
- Non-well-founded_set_theory wikiPageWikiLink Rooted_graph.
- Non-well-founded_set_theory wikiPageWikiLink Semantics.
- Non-well-founded_set_theory wikiPageWikiLink Set_theory.
- Non-well-founded_set_theory wikiPageWikiLink Situation_theory.
- Non-well-founded_set_theory wikiPageWikiLink Superuniversality.
- Non-well-founded_set_theory wikiPageWikiLink Turtles_all_the_way_down.
- Non-well-founded_set_theory wikiPageWikiLink Universal_set.
- Non-well-founded_set_theory wikiPageWikiLink Urelement.
- Non-well-founded_set_theory wikiPageWikiLink Von_Neumann_universe.
- Non-well-founded_set_theory wikiPageWikiLink Well-founded_relation.
- Non-well-founded_set_theory wikiPageWikiLink Willard_Van_Orman_Quine.
- Non-well-founded_set_theory wikiPageWikiLink Zermelo–Fraenkel_set_theory.
- Non-well-founded_set_theory wikiPageWikiLinkText "Non-well-founded set theory".
- Non-well-founded_set_theory wikiPageWikiLinkText "ZF-AFA".
- Non-well-founded_set_theory wikiPageWikiLinkText "non-standard set theories".
- Non-well-founded_set_theory wikiPageWikiLinkText "non-well-founded set theories".
- Non-well-founded_set_theory wikiPageWikiLinkText "non-well-founded set theory".
- Non-well-founded_set_theory wikiPageWikiLinkText "non-well-founded sets".
- Non-well-founded_set_theory wikiPageWikiLinkText "non-well-founded".
- Non-well-founded_set_theory wikiPageWikiLinkText "non-wellfounded set theories".
- Non-well-founded_set_theory wikiPageWikiLinkText "non-wellfounded".
- Non-well-founded_set_theory wikiPageUsesTemplate Template:Citation.
- Non-well-founded_set_theory wikiPageUsesTemplate Template:Cite_book.
- Non-well-founded_set_theory wikiPageUsesTemplate Template:Cite_web.
- Non-well-founded_set_theory wikiPageUsesTemplate Template:Expand_section.
- Non-well-founded_set_theory wikiPageUsesTemplate Template:Reflist.
- Non-well-founded_set_theory wikiPageUsesTemplate Template:Sfnp.
- Non-well-founded_set_theory subject Category:Self-reference.
- Non-well-founded_set_theory subject Category:Systems_of_set_theory.
- Non-well-founded_set_theory subject Category:Wellfoundedness.
- Non-well-founded_set_theory hypernym Variants.
- Non-well-founded_set_theory type MeanOfTransportation.
- Non-well-founded_set_theory type Redirect.
- Non-well-founded_set_theory comment "Non-well-founded set theories are variants of axiomatic set theory that allow sets to contain themselves and otherwise violate the rule of well-foundedness.".
- Non-well-founded_set_theory label "Non-well-founded set theory".
- Non-well-founded_set_theory sameAs Q7049089.
- Non-well-founded_set_theory sameAs Hiperconjunto.
- Non-well-founded_set_theory sameAs m.045891.
- Non-well-founded_set_theory sameAs Q7049089.
- Non-well-founded_set_theory wasDerivedFrom Non-well-founded_set_theory?oldid=647862764.
- Non-well-founded_set_theory isPrimaryTopicOf Non-well-founded_set_theory.