About: Set theory

Property	Value
dbo:wikiPageID	693646 (xsd:integer)
dbo:wikiPageRevisionID	952536631 (xsd:integer)
dbp:wikiPageUsesTemplate	dbt:Commons_category dbt:Portal dbt:CatAutoTOC dbt:Cat_main
rdf:type	skos:Concept
rdfs:label	Set theory (en)
skos:broader	dbc:Mathematical_logic
skos:prefLabel	Set theory (en)
prov:wasDerivedFrom	wikipedia-en:Category:Set_theory?oldid=952536631&ns=14
is dbo:wikiPageWikiLink of	dbr:Cantor's_first_set_theory_article dbr:Cantor's_paradise dbr:Cantor's_theorem dbr:Cardinality_of_the_continuum dbr:Categorical_set_theory dbr:List_of_exceptional_set_concepts dbr:Mostowski_model dbr:Multiplicity_(mathematics) dbr:Multiverse_(set_theory) dbr:Lévy_hierarchy dbr:Mengenlehreuhr dbr:Scott's_trick dbr:Ontological_maximalism dbr:Ulam_matrix dbr:Ω-logic dbr:Benacerraf's_identification_problem dbr:Boolean_differential_calculus dbr:Almost dbr:List_of_set_identities_and_relations dbr:Cumulative_hierarchy dbr:Universe_(mathematics) dbr:Vicious_circle_principle dbr:Deductive_closure dbr:Definable_real_number dbr:Easton's_theorem dbr:Infinitary_combinatorics dbr:Information_diagram dbr:Inhabited_set dbr:Kuratowski's_free_set_theorem dbr:Limit_cardinal dbr:List_of_set_theory_topics dbr:Quasi-set_theory dbr:Pseudo-intersection dbr:Primitive_recursive_set_function dbr:Solovay_model dbr:Continuum_(set_theory) dbr:Normal_function dbr:Ordinal_definable_set dbr:Class_(set_theory) dbr:Glossary_of_set_theory dbr:Naive_set_theory dbr:Conglomerate_(mathematics) dbr:Continuous_function_(set_theory) dbr:Controversy_over_Cantor's_theory dbr:Corestriction dbr:Theories_of_iterated_inductive_definitions dbr:Theory_of_regions dbr:Equaliser_(mathematics) dbr:Equivalence_class dbr:Erdős–Dushnik–Miller_theorem dbr:Erdős–Rado_theorem dbr:Milner–Rado_paradox dbr:Ordinal_arithmetic dbr:Closure_(mathematics) dbr:Club_filter dbr:Club_set dbr:Clubsuit dbr:Computable_ordinal dbr:PCF_theory dbr:Paradoxes_of_set_theory dbr:Mathematical_structure dbr:Stratification_(mathematics) dbr:Structuralism_(philosophy_of_mathematics) dbr:Subclass_(set_theory) dbr:Successor_cardinal dbr:Sunflower_(mathematics) dbr:Superstrong_cardinal dbr:Suslin_representation dbr:Admissible_set dbr:Total_order dbr:Tree_(set_theory) dbr:Willard_Van_Orman_Quine dbr:Domain-to-range_ratio dbr:Game-theoretic_rough_sets dbr:Gödel_logic dbr:Hartogs_number dbr:Hausdorff_Medal dbr:Hausdorff_gap dbr:Jónsson_function dbr:Laver_function dbr:Transitive_reduction dbr:Cylinder_(algebra) dbr:Filter_(set_theory) dbr:Finite_intersection_property dbr:Null_set dbr:Pairing_function dbr:Cardinal_assignment dbr:Diaconescu's_theorem dbr:Diagonal_intersection dbr:Dimensional_operator dbr:Goodstein's_theorem dbr:Primitive_notion dbr:Reflection_principle dbr:Hydra_game dbr:Jensen's_covering_theorem dbr:Set_theory_of_the_real_line dbr:Kernel_(set_theory) dbr:Support_(mathematics) dbr:Code_(set_theory) dbr:Cofinality dbr:Hereditarily_countable_set dbr:Hereditarily_finite_set dbr:Hereditary_property dbr:Hereditary_set dbr:Hierarchy_(mathematics) dbr:Set_intersection_oracle dbr:Transitive_set dbr:Diamond_principle dbr:BIT_predicate dbr:Cabal_(set_theory) dbr:Class_logic dbr:Hume's_principle dbr:Ideal_(set_theory) dbr:Cantor's_diagonal_argument dbr:Chang's_conjecture dbr:Set_(mathematics) dbr:Set_theory dbr:Martin's_axiom dbr:Schröder–Bernstein_property dbr:Set_Theory:_An_Introduction_to_Independence_Proofs dbr:Uniformization_(set_theory) dbr:Union_(set_theory) dbr:Nested_set dbr:Sierpiński_set dbr:Extension_(semantics) dbr:Extensionality dbr:Implementation_of_mathematics_in_set_theory dbr:List_of_statements_independent_of_ZFC dbr:List_of_types_of_sets dbr:Separating_set dbr:Finitist_set_theory dbr:Naive_Set_Theory_(book) dbr:Named_set_theory dbr:Pantachy dbr:Preordered_class dbr:Set-builder_notation dbr:Set-theoretic_topology dbr:Signed_set dbr:Silver's_dichotomy dbr:Transitive_model dbr:S_(set_theory) dbr:Permutation_model dbr:Square_principle dbr:Tarski's_theorem_about_choice dbr:Soft_set dbr:Paradoxes_of_the_Infinite dbr:Paradoxical_set dbr:Set-theoretic_limit dbr:Stationary_set dbr:Supertransitive_class dbr:Takeuti–Feferman–Buchholz_ordinal
is dcterms:subject of	dbr:Cantor's_first_set_theory_article dbr:Cantor's_paradise dbr:Cantor's_theorem dbr:Cardinality_of_the_continuum dbr:Categorical_set_theory dbr:List_of_exceptional_set_concepts dbr:Mostowski_model dbr:Multiplicity_(mathematics) dbr:Multiverse_(set_theory) dbr:Lévy_hierarchy dbr:Mengenlehreuhr dbr:Scott's_trick dbr:Ontological_maximalism dbr:Ulam_matrix dbr:Ω-logic dbr:Benacerraf's_identification_problem dbr:Boolean_differential_calculus dbr:Almost dbr:List_of_set_identities_and_relations dbr:Cumulative_hierarchy dbr:Universe_(mathematics) dbr:Vicious_circle_principle dbr:Deductive_closure dbr:Definable_real_number dbr:Easton's_theorem dbr:Infinitary_combinatorics dbr:Information_diagram dbr:Inhabited_set dbr:Kuratowski's_free_set_theorem dbr:Limit_cardinal dbr:List_of_set_theory_topics dbr:Quasi-set_theory dbr:Pseudo-intersection dbr:Primitive_recursive_set_function dbr:Solovay_model dbr:Continuum_(set_theory) dbr:Normal_function dbr:Ordinal_definable_set dbr:Class_(set_theory) dbr:Glossary_of_set_theory dbr:Naive_set_theory dbr:Conglomerate_(mathematics) dbr:Continuous_function_(set_theory) dbr:Controversy_over_Cantor's_theory dbr:Corestriction dbr:Theories_of_iterated_inductive_definitions dbr:Theory_of_regions dbr:Equaliser_(mathematics) dbr:Equivalence_class dbr:Erdős–Dushnik–Miller_theorem dbr:Erdős–Rado_theorem dbr:Milner–Rado_paradox dbr:Ordinal_arithmetic dbr:Closure_(mathematics) dbr:Club_filter dbr:Club_set dbr:Clubsuit dbr:Computable_ordinal dbr:PCF_theory dbr:Paradoxes_of_set_theory dbr:Mathematical_structure dbr:Stratification_(mathematics) dbr:Structuralism_(philosophy_of_mathematics) dbr:Subclass_(set_theory) dbr:Successor_cardinal dbr:Sunflower_(mathematics) dbr:Superstrong_cardinal dbr:Suslin_representation dbr:Admissible_set dbr:Total_order dbr:Tree_(set_theory) dbr:Willard_Van_Orman_Quine dbr:Domain-to-range_ratio dbr:Game-theoretic_rough_sets dbr:Gödel_logic dbr:Hartogs_number dbr:Hausdorff_Medal dbr:Hausdorff_gap dbr:Jónsson_function dbr:Laver_function dbr:Transitive_reduction dbr:Cylinder_(algebra) dbr:Filter_(set_theory) dbr:Finite_intersection_property dbr:Null_set dbr:Pairing_function dbr:Cardinal_assignment dbr:Diaconescu's_theorem dbr:Diagonal_intersection dbr:Dimensional_operator dbr:Goodstein's_theorem dbr:Primitive_notion dbr:Reflection_principle dbr:Hydra_game dbr:Jensen's_covering_theorem dbr:Set_theory_of_the_real_line dbr:Kernel_(set_theory) dbr:Support_(mathematics) dbr:Code_(set_theory) dbr:Cofinality dbr:Hereditarily_countable_set dbr:Hereditarily_finite_set dbr:Hereditary_property dbr:Hereditary_set dbr:Hierarchy_(mathematics) dbr:Set_intersection_oracle dbr:Transitive_set dbr:Diamond_principle dbr:BIT_predicate dbr:Cabal_(set_theory) dbr:Class_logic dbr:Hume's_principle dbr:Ideal_(set_theory) dbr:Cantor's_diagonal_argument dbr:Chang's_conjecture dbr:Set_(mathematics) dbr:Set_theory dbr:Martin's_axiom dbr:Schröder–Bernstein_property dbr:Set_Theory:_An_Introduction_to_Independence_Proofs dbr:Uniformization_(set_theory) dbr:Union_(set_theory) dbr:Nested_set dbr:Sierpiński_set dbr:Extension_(semantics) dbr:Extensionality dbr:Implementation_of_mathematics_in_set_theory dbr:List_of_statements_independent_of_ZFC dbr:List_of_types_of_sets dbr:Separating_set dbr:Finitist_set_theory dbr:Naive_Set_Theory_(book) dbr:Named_set_theory dbr:Pantachy dbr:Preordered_class dbr:Set-builder_notation dbr:Set-theoretic_topology dbr:Signed_set dbr:Silver's_dichotomy dbr:Transitive_model dbr:S_(set_theory) dbr:Permutation_model dbr:Square_principle dbr:Tarski's_theorem_about_choice dbr:Soft_set dbr:Paradoxes_of_the_Infinite dbr:Paradoxical_set dbr:Set-theoretic_limit dbr:Stationary_set dbr:Supertransitive_class dbr:Takeuti–Feferman–Buchholz_ordinal
is skos:broader of	dbc:Forcing_(mathematics) dbc:Basic_concepts_in_set_theory dbc:Independence_results dbc:Trees_(set_theory) dbc:Set-theoretic_universes dbc:Set_theoretic_programming_languages dbc:Descriptive_set_theory dbc:Measures_(set_theory) dbc:Axioms_of_set_theory dbc:Determinacy dbc:Ordinal_numbers dbc:Set_theorists dbc:Systems_of_set_theory dbc:Cardinal_numbers dbc:Wellfoundedness dbc:Urelements dbc:Inner_model_theory