Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Equiconsistency> ?p ?o }
Showing triples 1 to 56 of
56
with 100 triples per page.
- Equiconsistency abstract "In mathematical logic, two theories are equiconsistent if the consistency of one theory implies the consistency of the other theory, and vice versa. In this case, they are, roughly speaking, \"as consistent as each other\".In general, it is not possible to prove the absolute consistency of a theory T. Instead we usually take a theory S, believed to be consistent, and try to prove the weaker statement that if S is consistent then T must also be consistent—if we can do this we say that T is consistent relative to S. If S is also consistent relative to T then we say that S and T are equiconsistent.".
- Equiconsistency wikiPageID "3435716".
- Equiconsistency wikiPageLength "5180".
- Equiconsistency wikiPageOutDegree "35".
- Equiconsistency wikiPageRevisionID "621680701".
- Equiconsistency wikiPageWikiLink Abraham_Fraenkel.
- Equiconsistency wikiPageWikiLink Arithmetic.
- Equiconsistency wikiPageWikiLink Aronszajn_tree.
- Equiconsistency wikiPageWikiLink Axiom_of_choice.
- Equiconsistency wikiPageWikiLink Axiom_of_determinacy.
- Equiconsistency wikiPageWikiLink Category:Large_cardinals.
- Equiconsistency wikiPageWikiLink Category:Mathematical_logic.
- Equiconsistency wikiPageWikiLink Consistency.
- Equiconsistency wikiPageWikiLink David_Hilbert.
- Equiconsistency wikiPageWikiLink Ernst_Zermelo.
- Equiconsistency wikiPageWikiLink Forcing_(mathematics).
- Equiconsistency wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
- Equiconsistency wikiPageWikiLink Hilberts_program.
- Equiconsistency wikiPageWikiLink Inaccessible_cardinal.
- Equiconsistency wikiPageWikiLink Kurepa_tree.
- Equiconsistency wikiPageWikiLink Kurt_Gödel.
- Equiconsistency wikiPageWikiLink Large_cardinal.
- Equiconsistency wikiPageWikiLink List_of_Latin_phrases_(V).
- Equiconsistency wikiPageWikiLink Mahlo_cardinal.
- Equiconsistency wikiPageWikiLink Mathematical_logic.
- Equiconsistency wikiPageWikiLink Mathematical_object.
- Equiconsistency wikiPageWikiLink Metamathematics.
- Equiconsistency wikiPageWikiLink Peano_axioms.
- Equiconsistency wikiPageWikiLink Primitive_recursive_arithmetic.
- Equiconsistency wikiPageWikiLink Recursively_enumerable_set.
- Equiconsistency wikiPageWikiLink Reverse_mathematics.
- Equiconsistency wikiPageWikiLink Robinson_arithmetic.
- Equiconsistency wikiPageWikiLink Second-order_arithmetic.
- Equiconsistency wikiPageWikiLink Set_theory.
- Equiconsistency wikiPageWikiLink Theory_(mathematical_logic).
- Equiconsistency wikiPageWikiLink Weakly_compact_cardinal.
- Equiconsistency wikiPageWikiLink Zermelo–Fraenkel_set_theory.
- Equiconsistency wikiPageWikiLinkText "Equiconsistency".
- Equiconsistency wikiPageWikiLinkText "Equiconsistency#Consistency strength".
- Equiconsistency wikiPageWikiLinkText "consistency strength".
- Equiconsistency wikiPageWikiLinkText "equiconsistency".
- Equiconsistency wikiPageWikiLinkText "equiconsistent".
- Equiconsistency wikiPageWikiLinkText "relatively consistent".
- Equiconsistency wikiPageUsesTemplate Template:Reflist.
- Equiconsistency subject Category:Large_cardinals.
- Equiconsistency subject Category:Mathematical_logic.
- Equiconsistency hypernym Equiconsistent.
- Equiconsistency type Field.
- Equiconsistency comment "In mathematical logic, two theories are equiconsistent if the consistency of one theory implies the consistency of the other theory, and vice versa. In this case, they are, roughly speaking, \"as consistent as each other\".In general, it is not possible to prove the absolute consistency of a theory T.".
- Equiconsistency label "Equiconsistency".
- Equiconsistency sameAs Q5384443.
- Equiconsistency sameAs Equiconsistência.
- Equiconsistency sameAs m.09c9cf.
- Equiconsistency sameAs Q5384443.
- Equiconsistency wasDerivedFrom Equiconsistency?oldid=621680701.
- Equiconsistency isPrimaryTopicOf Equiconsistency.