Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Cointerpretability> ?p ?o. }
Showing items 1 to 13 of
13
with 100 items per page.
- Cointerpretability abstract "In mathematical logic, cointerpretability is a binary relation on formal theories: a formal theory T is cointerpretable in another such theory S, when the language of S can be translated into the language of T in such a way that S proves every formula whose translation is a theorem of T. The "translation" here is required to preserve the logical structure of formulas. This concept, in a sense dual to interpretability, was introduced by Dzhaparidze (1993), who also proved that, for theories of Peano arithmetic and any stronger theories with effective axiomatizations, cointerpretability is equivalent to -conservativity.".
- Cointerpretability wikiPageID "621215".
- Cointerpretability wikiPageRevisionID "531671841".
- Cointerpretability hasPhotoCollection Cointerpretability.
- Cointerpretability subject Category:Mathematical_logic.
- Cointerpretability subject Category:Mathematical_relations.
- Cointerpretability comment "In mathematical logic, cointerpretability is a binary relation on formal theories: a formal theory T is cointerpretable in another such theory S, when the language of S can be translated into the language of T in such a way that S proves every formula whose translation is a theorem of T. The "translation" here is required to preserve the logical structure of formulas.".
- Cointerpretability label "Cointerpretability".
- Cointerpretability sameAs m.02xjdw.
- Cointerpretability sameAs Q5141644.
- Cointerpretability sameAs Q5141644.
- Cointerpretability wasDerivedFrom Cointerpretability?oldid=531671841.
- Cointerpretability isPrimaryTopicOf Cointerpretability.