DBpedia – Linked Data Fragments

Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/General_set_theory> ?p ?o }

• General_set_theory abstract "General set theory (GST) is George Boolos's (1998) name for a fragment of the axiomatic set theory Z. GST is sufficient for all mathematics not requiring infinite sets, and is the weakest known set theory whose theorems include the Peano axioms.".
• General_set_theory wikiPageExternalLink set-theory.
• General_set_theory wikiPageID "9373204".
• General_set_theory wikiPageLength "8584".
• General_set_theory wikiPageOutDegree "83".
• General_set_theory wikiPageRevisionID "632951317".
• General_set_theory wikiPageWikiLink Adjoint_functor.
• General_set_theory wikiPageWikiLink Adjoint_functors.
• General_set_theory wikiPageWikiLink Alfred_Tarski.
• General_set_theory wikiPageWikiLink Andrzej_Mostowski.
• General_set_theory wikiPageWikiLink Axiom_of_Adjunction.
• General_set_theory wikiPageWikiLink Axiom_of_Extensionality.
• General_set_theory wikiPageWikiLink Axiom_of_adjunction.
• General_set_theory wikiPageWikiLink Axiom_of_choice.
• General_set_theory wikiPageWikiLink Axiom_of_empty_set.
• General_set_theory wikiPageWikiLink Axiom_of_extensionality.
• General_set_theory wikiPageWikiLink Axiom_of_infinity.
• General_set_theory wikiPageWikiLink Axiom_of_power_set.
• General_set_theory wikiPageWikiLink Axiom_of_union.
• General_set_theory wikiPageWikiLink Axiom_schema.
• General_set_theory wikiPageWikiLink Axiom_schema_of_specification.
• General_set_theory wikiPageWikiLink Axiomatic_set_theory.
• General_set_theory wikiPageWikiLink Binary_predicate.
• General_set_theory wikiPageWikiLink Binary_relation.
• General_set_theory wikiPageWikiLink Burali-Forti_paradox.
• General_set_theory wikiPageWikiLink Cantors_paradox.
• General_set_theory wikiPageWikiLink Cardinality.
• General_set_theory wikiPageWikiLink Category:Systems_of_set_theory.
• General_set_theory wikiPageWikiLink Category:Z_notation.
• General_set_theory wikiPageWikiLink Consistency.
• General_set_theory wikiPageWikiLink Decidability_(logic).
• General_set_theory wikiPageWikiLink Domain_of_a_function.
• General_set_theory wikiPageWikiLink Domain_of_discourse.
• General_set_theory wikiPageWikiLink Element_(mathematics).
• General_set_theory wikiPageWikiLink Empty_set.
• General_set_theory wikiPageWikiLink First-order_logic.
• General_set_theory wikiPageWikiLink First_order_logic.
• General_set_theory wikiPageWikiLink First_order_theory.
• General_set_theory wikiPageWikiLink Foundation_of_mathematics.
• General_set_theory wikiPageWikiLink Foundations_of_mathematics.
• General_set_theory wikiPageWikiLink Frege.
• General_set_theory wikiPageWikiLink Geometry.
• General_set_theory wikiPageWikiLink George_Boolos.
• General_set_theory wikiPageWikiLink Gottlob_Frege.
• General_set_theory wikiPageWikiLink Gxc3xb6dels_incompleteness_theorem.
• General_set_theory wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
• General_set_theory wikiPageWikiLink Hereditarily_finite_set.
• General_set_theory wikiPageWikiLink Identity_(philosophy).
• General_set_theory wikiPageWikiLink Infinite_set.
• General_set_theory wikiPageWikiLink Interpretability.
• General_set_theory wikiPageWikiLink List_of_first-order_theories.
• General_set_theory wikiPageWikiLink Mathematical_analysis.
• General_set_theory wikiPageWikiLink Mathematical_object.
• General_set_theory wikiPageWikiLink Naive_set_theory.
• General_set_theory wikiPageWikiLink Natural_number.
• General_set_theory wikiPageWikiLink Naïve_set_theory.
• General_set_theory wikiPageWikiLink Necessary_and_sufficient_condition.
• General_set_theory wikiPageWikiLink Necessity_and_sufficiency.
• General_set_theory wikiPageWikiLink Null_set.
• General_set_theory wikiPageWikiLink Ontology.
• General_set_theory wikiPageWikiLink Peano_arithmetic.
• General_set_theory wikiPageWikiLink Peano_axioms.
• General_set_theory wikiPageWikiLink Peanos_axioms.
• General_set_theory wikiPageWikiLink Primitive_notion.
• General_set_theory wikiPageWikiLink Quantifier_(logic).
• General_set_theory wikiPageWikiLink Raphael_M._Robinson.
• General_set_theory wikiPageWikiLink Raphael_Robinson.
• General_set_theory wikiPageWikiLink Relation_algebra.
• General_set_theory wikiPageWikiLink Restriction_(mathematics).
• General_set_theory wikiPageWikiLink Richard_Montague.
• General_set_theory wikiPageWikiLink Robinson_arithmetic.
• General_set_theory wikiPageWikiLink Russells_paradox.
• General_set_theory wikiPageWikiLink Set_(mathematics).
• General_set_theory wikiPageWikiLink Set_theory.
• General_set_theory wikiPageWikiLink Stanford_Encyclopedia_of_Philosophy.
• General_set_theory wikiPageWikiLink Successor_ordinal.
• General_set_theory wikiPageWikiLink The_Foundations_of_Arithmetic.
• General_set_theory wikiPageWikiLink Theorem.
• General_set_theory wikiPageWikiLink Universe_of_discourse.
• General_set_theory wikiPageWikiLink Von_Neumann–Bernays–Gödel_set_theory.
• General_set_theory wikiPageWikiLink ZFC.
• General_set_theory wikiPageWikiLink Zermelo_set_theory.
• General_set_theory wikiPageWikiLink Zermelo–Fraenkel_set_theory.
• General_set_theory wikiPageWikiLinkText "General set theory".
• General_set_theory wikiPageWikiLinkText "S'".
• General_set_theory wikiPageWikiLinkText "axiom of adjunction".
• General_set_theory wikiPageWikiLinkText "general set theory".
• General_set_theory hasPhotoCollection General_set_theory.
• General_set_theory wikiPageUsesTemplate Template:Mathematical_logic.
• General_set_theory wikiPageUsesTemplate Template:Reflist.
• General_set_theory wikiPageUsesTemplate Template:Set_theory.
• General_set_theory subject Category:Systems_of_set_theory.
• General_set_theory subject Category:Z_notation.
• General_set_theory hypernym Name.
• General_set_theory type Language.
• General_set_theory type Language.
• General_set_theory type Method.
• General_set_theory comment "General set theory (GST) is George Boolos's (1998) name for a fragment of the axiomatic set theory Z. GST is sufficient for all mathematics not requiring infinite sets, and is the weakest known set theory whose theorems include the Peano axioms.".
• General_set_theory label "General set theory".
• General_set_theory sameAs m.0286bqz.

• next