About: Glossary of set theory

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

This is a glossary of set theory.

Property	Value
dbo:abstract	This is a glossary of set theory. (en)
dbo:wikiPageID	43580500 (xsd:integer)
dbo:wikiPageLength	67795 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1124613920 (xsd:integer)
dbo:wikiPageWikiLink	dbr:Cantor's_theorem dbr:Cardinal_arithmetic dbr:Cardinality_of_the_continuum dbr:Power_set dbr:Proper_class dbr:Proper_subset dbr:Robert_M._Solovay dbr:Ronald_Jensen dbr:Saul_Kripke dbr:Saunders_Mac_Lane dbr:Element_(mathematics) dbr:Model_theory dbr:Morass_(set_theory) dbr:Mouse_(set_theory) dbr:Lévy_hierarchy dbr:Scott's_trick dbr:Ulam_matrix dbr:Ω-logic dbr:Mostowski_collapse dbr:Normal_filter dbr:Totally_indescribable_cardinal dbr:Bertrand_Russell dbr:Bjarni_Jónsson dbr:David_Hilbert dbr:Antichain dbr:John_von_Neumann dbr:Beth_definability dbr:Beth_number dbr:Paul_Bernays dbr:Paul_Cohen dbr:Paul_Erdős dbr:Petr_Vopěnka dbr:René-Louis_Baire dbr:Cumulative_hierarchy dbr:Burali-Forti's_paradox dbr:Universe_(mathematics) dbr:Von_Neumann_ordinal dbr:Definable_set dbr:Σ-compact dbr:Descriptive_set_theory dbr:Donald_A._Martin dbr:Easton's_theorem dbr:Indescribable_cardinal dbr:Inner_model dbr:Kurepa_tree dbr:Amenable_set dbr:Universal_quantifier dbr:Limit_cardinal dbr:Limit_ordinal dbr:Transfinite_induction dbr:Paul_Mahlo dbr:Pseudo-intersection dbr:Solovay_model dbr:Strong_cardinal dbr:Constructible_universe dbr:Continuum_(set_theory) dbr:Analytic_set dbr:Analytical_hierarchy dbr:Meager_set dbr:Measurable_cardinal dbr:Measure_(mathematics) dbr:Russell's_paradox dbr:Saharon_Shelah dbr:Generic_filter dbr:Normal_function dbr:Normal_measure dbr:Open_coloring_axiom dbr:Order_type dbr:Ordinal_definable_set dbr:Rank-into-rank dbr:Class_(set_theory) dbr:Elementary_embedding dbr:Epsilon_numbers_(mathematics) dbr:Frank_P._Ramsey dbr:Friedrich_Hartogs dbr:Function_composition dbr:Generalized_continuum_hypothesis dbr:Georg_Cantor dbr:Gerhard_Hessenberg dbr:Gimel dbr:Gimel_function dbr:Gimel_hypothesis dbr:Bounded_quantifier dbr:Nachman_Aronszajn dbr:Naive_set_theory dbr:Condensation_lemma dbr:Continuum_hypothesis dbr:Core_model dbr:Thoralf_Skolem dbc:Glossaries_of_mathematics dbr:Equinumerosity dbr:Erdős_cardinal dbr:Erdős–Rado_theorem dbr:Martin's_maximum dbr:Milner–Rado_paradox dbr:Ordinal_arithmetic dbr:Andrzej_Mostowski dbr:Anthony_Morse dbr:Arithmetical_hierarchy dbr:Aronszajn_tree dbr:Baumgartner's_axiom dbr:Berkeley_cardinal dbr:Leopold_Löwenheim dbr:Löwenheim–Skolem_theorem dbr:Sigma-algebra dbr:Skolem_function dbr:Stanislaw_Ulam dbr:Stone–Čech_compactification dbr:Strong_limit_cardinal dbr:Strongly_inaccessible_cardinal dbr:Club_filter dbr:Club_set dbr:Clubsuit dbr:Complete_theory dbr:Zero_sharp dbr:Émile_Borel dbr:Đuro_Kurepa dbr:Feferman–Schütte_ordinal dbr:John_L._Kelley dbr:Kripke–Platek_set_theory dbr:Ordered_pair dbr:PCF_theory dbr:Perfect_set dbr:Proper_forcing_axiom dbr:Mahlo_cardinal dbr:Successor_cardinal dbr:Successor_ordinal dbr:Supercompact_cardinal dbr:Suslin_algebra dbr:Suslin_cardinal dbr:Suslin_operation dbr:Suslin_representation dbr:Meagre_set dbr:Axiom_of_limitation_of_size dbr:Axiom_schema_of_specification dbr:Burali-Forti_paradox dbr:Aczel's_anti-foundation_axiom dbr:Additively_indecomposable_ordinal dbr:Admissible_ordinal dbr:Admissible_set dbc:Set_theory dbr:Total_order dbr:Transitive_closure dbr:Transitive_relation dbr:Tree_(descriptive_set_theory) dbr:Tree_(set_theory) dbr:Wacław_Sierpiński dbr:Weakly_inaccessible_cardinal dbr:Cohen_forcing dbr:Géza_Fodor_(mathematician) dbr:Gödel's_completeness_theorem dbr:Hartogs_number dbr:Hausdorff_gap dbr:Eta_set dbr:Jules_Richard_(mathematician) dbr:Jónsson_cardinal dbr:Jónsson_function dbr:Large_cardinal dbr:Laver_function dbr:Lebesgue_measure dbr:Vopěnka's_principle dbr:Shelah_cardinal dbr:Abraham_Fraenkel dbr:Absolute_Infinite dbr:Additively_indecomposable dbr:Aleph dbr:Aleph_number dbr:Alfred_Tarski dbr:Dana_Scott dbr:Equivalence_relation dbr:Ernst_Zermelo dbr:Ethereal_cardinal dbr:False_(logic) dbr:Felix_Hausdorff dbr:Filter_(mathematics) dbr:Finite_intersection_property dbr:First-order_logic dbr:Forcing_(mathematics) dbr:Oswald_Veblen dbr:Pairing_function dbr:Cardinal_number dbr:Cardinality dbr:Berry's_paradox dbr:Diagonal_intersection dbr:Fodor's_lemma dbr:Glossary_of_Principia_Mathematica dbr:Range_of_a_function dbr:Reflection_principle dbr:Regular_cardinal dbr:Ring_theory dbr:Gödel's_incompleteness_theorems dbr:Henri_Lebesgue dbr:Jack_Silver dbr:Baire_space dbr:Baire_space_(set_theory) dbr:Taw dbr:Countable_chain_condition dbr:Jensen's_covering_theorem dbr:Jensen_hierarchy dbr:Subtle_cardinal dbr:AD+ dbr:Absoluteness dbr:Superset dbr:Suslin_line dbr:Coanalytic_set dbr:Cofinal_(mathematics) dbr:Cofinality dbr:Cohen_algebra dbr:Collapsing_algebra dbr:Hereditarily_countable_set dbr:Hereditarily_finite_set dbr:Tav_(number) dbr:Weakly_compact_cardinal dbr:Woodin_cardinal dbr:Zero_dagger dbr:Zorn's_lemma dbr:Richard_Laver dbr:Transitive_set dbr:Regular_open_set dbr:Diamond_principle dbr:Axiom_of_adjunction dbr:Axiom_of_choice dbr:Axiom_of_constructibility dbr:Axiom_of_countability dbr:Axiom_of_countable_choice dbr:Axiom_of_dependent_choice dbr:Axiom_of_determinacy dbr:Axiom_of_empty_set dbr:Axiom_of_extensionality dbr:Axiom_of_finite_choice dbr:Axiom_of_global_choice dbr:Axiom_of_infinity dbr:Axiom_of_pairing dbr:Axiom_of_power_set dbr:Axiom_of_projective_determinacy dbr:Axiom_of_real_determinacy dbr:Axiom_of_regularity dbr:Axiom_of_union dbr:Axiom_schema_of_predicative_separation dbr:Axiom_schema_of_replacement dbr:Azriel_Lévy dbr:Boolean_algebra dbr:Borel_set dbr:Polish_space dbr:Frederick_Rowbottom dbr:Freiling's_axiom_of_symmetry dbr:Huge_cardinal dbr:Gödel's_constructible_universe dbr:Singular_cardinal dbr:Dominating_number dbr:Inaccessible_cardinal dbr:Ineffable_cardinal dbr:Kurt_Gödel dbr:Mikhail_Yakovlevich_Suslin dbr:Ordinal_number dbr:Cantor's_paradox dbr:Cantor_set dbr:Categorical_theory dbr:Category_theory dbr:Rational_number dbr:Real_number dbr:Cesare_Burali-Forti dbr:Set_theory dbr:Hereditarily_ordinal_definable dbr:Skolem_hull dbr:Generic_extension dbr:Martin's_axiom dbr:Rowbottom_cardinal dbr:Suslin_hypothesis dbr:Unfoldable_cardinal dbr:Uniformization_(set_theory) dbr:Ramsey_cardinal dbr:Sierpiński_set dbr:Extender_(set_theory) dbr:Extendible_cardinal dbr:Separating_set dbr:Lightface dbr:Evert_Willem_Beth dbr:Richard's_paradox dbr:Naive_Set_Theory_(book) dbr:Pantachy dbr:Morse–Kelley_set_theory dbr:Ultraproduct dbr:Urelement dbr:Probability_measure dbr:Set-builder_notation dbr:Transitive_model dbr:Partial_order dbr:Permutation_model dbr:Square_principle dbr:Reflecting_cardinal dbr:Reinhardt_cardinal dbr:Tarski's_theorem_about_choice dbr:Shrewd_cardinal dbr:Strongly_compact_cardinal dbr:Subset dbr:Zermelo_set_theory dbr:Veblen_function dbr:Stationary_set dbr:Suslin_tree
dbp:content	Hκ (en)
dbp:pre	Greek (en)
dbp:refs	yes (en)
dbp:seealso	yes (en)
dbp:sym	yes (en)
dbp:term	Hκ (en)
dbp:wikiPageUsesTemplate	dbt:Defn dbt:Cite_book dbt:Math dbt:Mvar dbt:Pprime dbt:Prime dbt:Reflist dbt:Short_description dbt:Tmath dbt:Wiktionary dbt:Nobold dbt:Gli dbt:Notatypo dbt:Su dbt:Glossary dbt:Glossary_end dbt:Term dbt:Compact_ToC
dbp:x	[[#XYZ (en)
dcterms:subject	dbc:Glossaries_of_mathematics dbc:Set_theory
rdfs:comment	This is a glossary of set theory. (en)
rdfs:label	Glossary of set theory (en)
owl:sameAs	wikidata:Glossary of set theory https://global.dbpedia.org/id/n4bi yago-res:Glossary of set theory
prov:wasDerivedFrom	wikipedia-en:Glossary_of_set_theory?oldid=1124613920&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Glossary_of_set_theory
is dbo:wikiPageWikiLink of	dbr:List_of_set_theory_topics dbr:Glossary_of_Principia_Mathematica dbr:Set_theory dbr:Set-builder_notation dbr:Suslin_tree
is foaf:primaryTopic of	wikipedia-en:Glossary_of_set_theory