Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Cotolerant_sequence> ?p ?o. }
Showing items 1 to 14 of
14
with 100 items per page.
- Cotolerant_sequence abstract "In mathematical logic, a cotolerant sequence is a sequence of formal theories such that there are consistent extensions of these theories with each is cointerpretable in . Cotolerance naturally generalizes from sequences of theories to trees of theories. This concept, together with its dual concept of tolerance, 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.".
- Cotolerant_sequence wikiPageExternalLink ~japaridz.
- Cotolerant_sequence wikiPageExternalLink study.html.
- Cotolerant_sequence wikiPageID "621246".
- Cotolerant_sequence wikiPageRevisionID "594932274".
- Cotolerant_sequence hasPhotoCollection Cotolerant_sequence.
- Cotolerant_sequence subject Category:Logic.
- Cotolerant_sequence comment "In mathematical logic, a cotolerant sequence is a sequence of formal theories such that there are consistent extensions of these theories with each is cointerpretable in . Cotolerance naturally generalizes from sequences of theories to trees of theories. This concept, together with its dual concept of tolerance, 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.".
- Cotolerant_sequence label "Cotolerant sequence".
- Cotolerant_sequence sameAs m.02xjj0.
- Cotolerant_sequence sameAs Q5175416.
- Cotolerant_sequence sameAs Q5175416.
- Cotolerant_sequence wasDerivedFrom Cotolerant_sequence?oldid=594932274.
- Cotolerant_sequence isPrimaryTopicOf Cotolerant_sequence.