Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Alternative_set_theory> ?p ?o }
Showing triples 1 to 45 of
45
with 100 triples per page.
- Alternative_set_theory abstract "Generically, an alternative set theory is an alternative mathematical approach to the concept of set. It is a proposed alternative to the standard set theory. Some of the alternative set theories are:the theory of semisetsthe set theory New FoundationsPositive set theoryInternal set theorySpecifically, Alternative Set Theory (or AST) refers to a particular set theory developed in the 1970s and 1980s by Petr Vopěnka and his students. It builds on some ideas of the theory of semisets, but also introduces more radical changes: for example, all sets are "formally" finite, which means that sets in AST satisfy the law of mathematical induction for set-formulas (more precisely: the part of AST that consists of axioms related to sets only is equivalent to the Zermelo–Fraenkel (or ZF) set theory, in which the axiom of infinity is replaced by its negation). However, some of these sets contain subclasses that are not sets, which makes them different from Cantor (ZF) finite sets and they are called infinite in AST.".
- Alternative_set_theory wikiPageExternalLink settheory-alternative.
- Alternative_set_theory wikiPageID "1634942".
- Alternative_set_theory wikiPageLength "1686".
- Alternative_set_theory wikiPageOutDegree "18".
- Alternative_set_theory wikiPageRevisionID "542618387".
- Alternative_set_theory wikiPageWikiLink Axiom.
- Alternative_set_theory wikiPageWikiLink Axiom_of_infinity.
- Alternative_set_theory wikiPageWikiLink Axiomatic_set_theory.
- Alternative_set_theory wikiPageWikiLink Axioms.
- Alternative_set_theory wikiPageWikiLink Category:Systems_of_set_theory.
- Alternative_set_theory wikiPageWikiLink Finite_set.
- Alternative_set_theory wikiPageWikiLink Formula_(mathematical_logic).
- Alternative_set_theory wikiPageWikiLink Georg_Cantor.
- Alternative_set_theory wikiPageWikiLink Internal_set_theory.
- Alternative_set_theory wikiPageWikiLink Mathematical_induction.
- Alternative_set_theory wikiPageWikiLink New_Foundations.
- Alternative_set_theory wikiPageWikiLink Non-well-founded_set_theory.
- Alternative_set_theory wikiPageWikiLink Petr_Vopěnka.
- Alternative_set_theory wikiPageWikiLink Positive_set_theory.
- Alternative_set_theory wikiPageWikiLink Semiset.
- Alternative_set_theory wikiPageWikiLink Set_(mathematics).
- Alternative_set_theory wikiPageWikiLink Set_theory.
- Alternative_set_theory wikiPageWikiLink Stanford_Encyclopedia_of_Philosophy.
- Alternative_set_theory wikiPageWikiLink Well-formed_formula.
- Alternative_set_theory wikiPageWikiLink Zermelo–Fraenkel_set_theory.
- Alternative_set_theory wikiPageWikiLinkText "Alternative Set Theory".
- Alternative_set_theory wikiPageWikiLinkText "Alternative set theory".
- Alternative_set_theory wikiPageWikiLinkText "alternative set theories".
- Alternative_set_theory wikiPageWikiLinkText "alternative set theory".
- Alternative_set_theory hasPhotoCollection Alternative_set_theory.
- Alternative_set_theory subject Category:Systems_of_set_theory.
- Alternative_set_theory hypernym Approach.
- Alternative_set_theory type ProgrammingLanguage.
- Alternative_set_theory comment "Generically, an alternative set theory is an alternative mathematical approach to the concept of set. It is a proposed alternative to the standard set theory. Some of the alternative set theories are:the theory of semisetsthe set theory New FoundationsPositive set theoryInternal set theorySpecifically, Alternative Set Theory (or AST) refers to a particular set theory developed in the 1970s and 1980s by Petr Vopěnka and his students.".
- Alternative_set_theory label "Alternative set theory".
- Alternative_set_theory sameAs Alternativní_teorie_množin.
- Alternative_set_theory sameAs Alternatív_halmazelmélet.
- Alternative_set_theory sameAs m.05jdtf.
- Alternative_set_theory sameAs Alternatívna_teória_množín.
- Alternative_set_theory sameAs Q681771.
- Alternative_set_theory sameAs Q681771.
- Alternative_set_theory sameAs 可替代的集合论.
- Alternative_set_theory wasDerivedFrom Alternative_set_theory?oldid=542618387.
- Alternative_set_theory isPrimaryTopicOf Alternative_set_theory.