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:
“It isn’t that you subordinate your ideas to the force of the facts in autobiography but that you construct a sequence of stories to bind up the facts with a persuasive hypothesis that unravels your history’s meaning.”
—Philip Roth (b. 1933)