Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Independence_(mathematical_logic)> ?p ?o }
Showing triples 1 to 63 of
63
with 100 triples per page.
- Independence_(mathematical_logic) abstract "In mathematical logic, independence refers to the unprovability of a sentence from other sentences.A sentence σ is independent of a given first-order theory T if T neither proves nor refutes σ; that is, it is impossible to prove σ from T, and it is also impossible to prove from T that σ is false. Sometimes, σ is said (synonymously) to be undecidable from T; this is not the same meaning of "decidability" as in a decision problem.A theory T is independent if each axiom in T is not provable from the remaining axioms in T. A theory for which there is an independent set of axioms is independently axiomatizable.".
- Independence_(mathematical_logic) wikiPageID "1141208".
- Independence_(mathematical_logic) wikiPageLength "3011".
- Independence_(mathematical_logic) wikiPageOutDegree "21".
- Independence_(mathematical_logic) wikiPageRevisionID "641772009".
- Independence_(mathematical_logic) wikiPageWikiLink AD+.
- Independence_(mathematical_logic) wikiPageWikiLink Axiom_of_choice.
- Independence_(mathematical_logic) wikiPageWikiLink Axiom_of_determinacy.
- Independence_(mathematical_logic) wikiPageWikiLink Axiom_of_real_determinacy.
- Independence_(mathematical_logic) wikiPageWikiLink Category:Proof_theory.
- Independence_(mathematical_logic) wikiPageWikiLink Continuum_hypothesis.
- Independence_(mathematical_logic) wikiPageWikiLink Decision_problem.
- Independence_(mathematical_logic) wikiPageWikiLink Geometry.
- Independence_(mathematical_logic) wikiPageWikiLink Inaccessible_cardinal.
- Independence_(mathematical_logic) wikiPageWikiLink Kurepa_tree.
- Independence_(mathematical_logic) wikiPageWikiLink Large_cardinal.
- Independence_(mathematical_logic) wikiPageWikiLink List_of_statements_undecidable_in_ZFC.
- Independence_(mathematical_logic) wikiPageWikiLink Mathematical_logic.
- Independence_(mathematical_logic) wikiPageWikiLink Parallel_postulate.
- Independence_(mathematical_logic) wikiPageWikiLink Sentence_(logic).
- Independence_(mathematical_logic) wikiPageWikiLink Sentence_(mathematical_logic).
- Independence_(mathematical_logic) wikiPageWikiLink Springer-Verlag.
- Independence_(mathematical_logic) wikiPageWikiLink Springer_Science+Business_Media.
- Independence_(mathematical_logic) wikiPageWikiLink Strongly_inaccessible_cardinal.
- Independence_(mathematical_logic) wikiPageWikiLink Suslins_problem.
- Independence_(mathematical_logic) wikiPageWikiLink Theory_(mathematical_logic).
- Independence_(mathematical_logic) wikiPageWikiLink Truth.
- Independence_(mathematical_logic) wikiPageWikiLink Zermelo-Fraenkel_set_theory.
- Independence_(mathematical_logic) wikiPageWikiLink Zermelo–Fraenkel_set_theory.
- Independence_(mathematical_logic) wikiPageWikiLinkText "Independence (mathematical logic)".
- Independence_(mathematical_logic) wikiPageWikiLinkText "Independence".
- Independence_(mathematical_logic) wikiPageWikiLinkText "axiomatically independent".
- Independence_(mathematical_logic) wikiPageWikiLinkText "independence (mathematical logic)".
- Independence_(mathematical_logic) wikiPageWikiLinkText "independence results".
- Independence_(mathematical_logic) wikiPageWikiLinkText "independence".
- Independence_(mathematical_logic) wikiPageWikiLinkText "independency".
- Independence_(mathematical_logic) wikiPageWikiLinkText "independent of the usual axioms of set theory".
- Independence_(mathematical_logic) wikiPageWikiLinkText "independent statement".
- Independence_(mathematical_logic) wikiPageWikiLinkText "independent".
- Independence_(mathematical_logic) wikiPageWikiLinkText "logically independent".
- Independence_(mathematical_logic) wikiPageWikiLinkText "undecidability/unprovability".
- Independence_(mathematical_logic) wikiPageWikiLinkText "undecidable statement".
- Independence_(mathematical_logic) wikiPageWikiLinkText "undecidable".
- Independence_(mathematical_logic) wikiPageWikiLinkText "unprovable".
- Independence_(mathematical_logic) hasPhotoCollection Independence_(mathematical_logic).
- Independence_(mathematical_logic) wikiPageUsesTemplate Template:Citation.
- Independence_(mathematical_logic) wikiPageUsesTemplate Template:Metalogic.
- Independence_(mathematical_logic) subject Category:Proof_theory.
- Independence_(mathematical_logic) comment "In mathematical logic, independence refers to the unprovability of a sentence from other sentences.A sentence σ is independent of a given first-order theory T if T neither proves nor refutes σ; that is, it is impossible to prove σ from T, and it is also impossible to prove from T that σ is false.".
- Independence_(mathematical_logic) label "Independence (mathematical logic)".
- Independence_(mathematical_logic) sameAs Nezávislé_tvrzení.
- Independence_(mathematical_logic) sameAs Independencia_(lógica_matemática).
- Independence_(mathematical_logic) sameAs Decidibilità.
- Independence_(mathematical_logic) sameAs Onafhankelijkheid_(wiskundige_logica).
- Independence_(mathematical_logic) sameAs Independência_(lógica_matemática).
- Independence_(mathematical_logic) sameAs m.049wn5.
- Independence_(mathematical_logic) sameAs Независимость_системы_аксиом.
- Independence_(mathematical_logic) sameAs Independence_(mathematical_logic).
- Independence_(mathematical_logic) sameAs Oavgörbar.
- Independence_(mathematical_logic) sameAs Q2705017.
- Independence_(mathematical_logic) sameAs Q2705017.
- Independence_(mathematical_logic) wasDerivedFrom Independence_(mathematical_logic)?oldid=641772009.
- Independence_(mathematical_logic) isPrimaryTopicOf Independence_(mathematical_logic).