Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Tolerant_sequence> ?p ?o. }
Showing items 1 to 14 of
14
with 100 items per page.
- Tolerant_sequence abstract "In mathematical logic, a tolerant sequence is a sequence ,...,of formal theories such that there are consistent extensions ,...,of these theories with each interpretable in . Tolerance naturally generalizes from sequences of theories to trees of theories. Weak interpretability can be shown to be a special, binary case of tolerance. This concept, together with its dual concept of cotolerance, was introduced by Japaridze in 1992, who also proved that, for Peano arithmetic and any stronger theories with effective axiomatizations, tolerance is equivalent to -consistency.".
- Tolerant_sequence wikiPageExternalLink ~japaridz.
- Tolerant_sequence wikiPageExternalLink study.html.
- Tolerant_sequence wikiPageID "621230".
- Tolerant_sequence wikiPageRevisionID "529740935".
- Tolerant_sequence hasPhotoCollection Tolerant_sequence.
- Tolerant_sequence subject Category:Proof_theory.
- Tolerant_sequence comment "In mathematical logic, a tolerant sequence is a sequence ,...,of formal theories such that there are consistent extensions ,...,of these theories with each interpretable in . Tolerance naturally generalizes from sequences of theories to trees of theories. Weak interpretability can be shown to be a special, binary case of tolerance.".
- Tolerant_sequence label "Tolerant sequence".
- Tolerant_sequence sameAs m.02xjfx.
- Tolerant_sequence sameAs Q7814226.
- Tolerant_sequence sameAs Q7814226.
- Tolerant_sequence wasDerivedFrom Tolerant_sequence?oldid=529740935.
- Tolerant_sequence isPrimaryTopicOf Tolerant_sequence.