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.
Famous quotes containing the word sequence:
“We have defined a story as a narrative of events arranged in their time-sequence. A plot is also a narrative of events, the emphasis falling on causality. “The king died and then the queen died” is a story. “The king died, and then the queen died of grief” is a plot. The time sequence is preserved, but the sense of causality overshadows it.”
—E.M. (Edward Morgan)