Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/S_(set_theory)> ?p ?o }
Showing triples 1 to 66 of
66
with 100 triples per page.
- S_(set_theory) abstract "S is an axiomatic set theory set out by George Boolos in his article, Boolos (1989). S, a first-order theory, is two-sorted because its ontology includes “stages” as well as sets. Boolos designed S to embody his understanding of the “iterative conception of set“ and the associated iterative hierarchy. S has the important property that all axioms of Zermelo set theory Z, except the axiom of Extensionality and the axiom of Choice, are theorems of S or a slight modification thereof.".
- S_(set_theory) wikiPageID "31080143".
- S_(set_theory) wikiPageLength "8879".
- S_(set_theory) wikiPageOutDegree "61".
- S_(set_theory) wikiPageRevisionID "534332821".
- S_(set_theory) wikiPageWikiLink Abstract_and_concrete.
- S_(set_theory) wikiPageWikiLink Axiom_of_choice.
- S_(set_theory) wikiPageWikiLink Axiom_of_empty_set.
- S_(set_theory) wikiPageWikiLink Axiom_of_extensionality.
- S_(set_theory) wikiPageWikiLink Axiom_of_infinity.
- S_(set_theory) wikiPageWikiLink Axiom_of_pairing.
- S_(set_theory) wikiPageWikiLink Axiom_schema_of_replacement.
- S_(set_theory) wikiPageWikiLink Axiom_schema_of_specification.
- S_(set_theory) wikiPageWikiLink Burali-Forti_paradox.
- S_(set_theory) wikiPageWikiLink Cantors_paradox.
- S_(set_theory) wikiPageWikiLink Category:Set_theory.
- S_(set_theory) wikiPageWikiLink Category:Systems_of_set_theory.
- S_(set_theory) wikiPageWikiLink Category:Z_notation.
- S_(set_theory) wikiPageWikiLink Class_(set_theory).
- S_(set_theory) wikiPageWikiLink Domain_of_discourse.
- S_(set_theory) wikiPageWikiLink Element_(mathematics).
- S_(set_theory) wikiPageWikiLink Empty_set.
- S_(set_theory) wikiPageWikiLink Extensionality.
- S_(set_theory) wikiPageWikiLink First-order_logic.
- S_(set_theory) wikiPageWikiLink George_Boolos.
- S_(set_theory) wikiPageWikiLink Gottlob_Frege.
- S_(set_theory) wikiPageWikiLink Hierarchy_(mathematics).
- S_(set_theory) wikiPageWikiLink Humes_principle.
- S_(set_theory) wikiPageWikiLink Identity_(mathematics).
- S_(set_theory) wikiPageWikiLink If_and_only_if.
- S_(set_theory) wikiPageWikiLink List_of_first-order_theories.
- S_(set_theory) wikiPageWikiLink Mathematical_object.
- S_(set_theory) wikiPageWikiLink Naive_set_theory.
- S_(set_theory) wikiPageWikiLink Ontology.
- S_(set_theory) wikiPageWikiLink Ordinal_number.
- S_(set_theory) wikiPageWikiLink Paradox.
- S_(set_theory) wikiPageWikiLink Predicate_(mathematical_logic).
- S_(set_theory) wikiPageWikiLink Primitive_notion.
- S_(set_theory) wikiPageWikiLink Russells_paradox.
- S_(set_theory) wikiPageWikiLink Set_(mathematics).
- S_(set_theory) wikiPageWikiLink Set_theory.
- S_(set_theory) wikiPageWikiLink Transfinite_number.
- S_(set_theory) wikiPageWikiLink Transitive_relation.
- S_(set_theory) wikiPageWikiLink Urelement.
- S_(set_theory) wikiPageWikiLink Von_Neumann_universe.
- S_(set_theory) wikiPageWikiLink Well-order.
- S_(set_theory) wikiPageWikiLink Z.
- S_(set_theory) wikiPageWikiLink Zermelo_set_theory.
- S_(set_theory) wikiPageWikiLink Zermelo–Fraenkel_set_theory.
- S_(set_theory) wikiPageWikiLinkText "S (set theory)".
- S_(set_theory) wikiPageUsesTemplate Template:Reflist.
- S_(set_theory) subject Category:Set_theory.
- S_(set_theory) subject Category:Systems_of_set_theory.
- S_(set_theory) subject Category:Z_notation.
- S_(set_theory) hypernym Theory.
- S_(set_theory) type Language.
- S_(set_theory) type Work.
- S_(set_theory) type Language.
- S_(set_theory) type Method.
- S_(set_theory) comment "S is an axiomatic set theory set out by George Boolos in his article, Boolos (1989). S, a first-order theory, is two-sorted because its ontology includes “stages” as well as sets. Boolos designed S to embody his understanding of the “iterative conception of set“ and the associated iterative hierarchy. S has the important property that all axioms of Zermelo set theory Z, except the axiom of Extensionality and the axiom of Choice, are theorems of S or a slight modification thereof.".
- S_(set_theory) label "S (set theory)".
- S_(set_theory) sameAs Q7395333.
- S_(set_theory) sameAs m.0gg5qvg.
- S_(set_theory) sameAs Q7395333.
- S_(set_theory) wasDerivedFrom S_(set_theory)?oldid=534332821.
- S_(set_theory) isPrimaryTopicOf S_(set_theory).