Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/List_of_statements_undecidable_in_ZFC> ?p ?o }
- List_of_statements_undecidable_in_ZFC abstract "The mathematical statements discussed below are provably undecidable in ZFC (the Zermelo–Fraenkel axioms plus the axiom of choice, the canonical axiomatic set theory of contemporary mathematics), assuming that ZFC is consistent. A statement is undecidable in ZFC (a.k.a. independent of ZFC) if it can neither be proven nor disproven from the axioms of ZFC.".
- List_of_statements_undecidable_in_ZFC thumbnail Undecidable_ZFC_statements_implication_chains.png?width=300.
- List_of_statements_undecidable_in_ZFC wikiPageExternalLink what-are-some-reasonable-sounding-statements-that-are-independent-of-zfc.
- List_of_statements_undecidable_in_ZFC wikiPageID "691790".
- List_of_statements_undecidable_in_ZFC wikiPageLength "14364".
- List_of_statements_undecidable_in_ZFC wikiPageOutDegree "113".
- List_of_statements_undecidable_in_ZFC wikiPageRevisionID "683158211".
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Abelian_group.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Abstract_algebra.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Aleph_number.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Algebra_homomorphism.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Andreas_Blass.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Asplund_space.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Axiom_of_choice.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Axiom_of_constructibility.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Axiom_of_projective_determinacy.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Axiomatic_set_theory.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Baire_category_theorem.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Banach_algebra.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Bounded_operator.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Calkin_algebra.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Cardinal_function.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Cardinal_invariant.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Cardinality.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Cardinality_of_the_continuum.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Category:Independence_results.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Category:Mathematics-related_lists.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Category:Set_theory.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Changs_conjecture.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Charles_Akemann.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Cichon_diagram.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Cichoxc5x84s_diagram.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Compact_operator.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Compact_space.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Consistency.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Consistent.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Continuum_hypothesis.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Diamond_principle.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Direct_product.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Erdős_cardinal.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Ext_functor.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Field_(mathematics).
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Field_of_fractions.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink File:Undecidable_ZFC_statements_implication_chains.png.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Forcing_(mathematics).
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Free_abelian_group.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Freilings_axiom_of_symmetry.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Fubinis_theorem.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Functional_analysis.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Garth_Dales.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Generalized_continuum_hypothesis.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Global_dimension.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Gxc3xb6dels_incompleteness_theorem.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Harvey_Friedman.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Hausdorff_space.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Hilbert_space.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Hilberts_tenth_problem.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Ilijas_Farah.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Inaccessible_cardinal.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Independence_(mathematical_logic).
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Indicator_function.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Kaplanskys_conjecture.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Kurepa_tree.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Kurt_Gödel.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Large_cardinal.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Mahlo_cardinal.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Martins_Axiom.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Martins_axiom.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Martins_maximum.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Mathematics.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Mazur_intersection_property.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Measurable.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Measurable_cardinal.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Measure_(mathematics).
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Measure_theory.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Metrizable_space.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Metrization_theorem.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Model_theory.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Moore_space_(topology).
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink N._Christopher_Phillips.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Naimarks_problem.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Nik_Weaver.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Normal_space.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Number_theory.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Open_coloring_axiom.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Order_theory.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Ordinal_number.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Paul_Cohen.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Paul_Cohen_(mathematician).
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Petr_Hájek_(mathematician,_functional_analysis).
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Projective_determinacy.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Projective_dimension.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Projective_module.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Proper_forcing_axiom.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Regular_cardinal.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Robert_M._Solovay.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Robert_Solovay.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Ronald_Jensen.
- List_of_statements_undecidable_in_ZFC wikiPageWikiLink Saharon_Shelah.