Philosophy:Tolerant sequence
From HandWiki
Revision as of 17:46, 11 June 2021 by imported>MainAI5 (over-write)
In mathematical logic, a tolerant sequence is a sequence
- [math]\displaystyle{ T_1 }[/math],...,[math]\displaystyle{ T_n }[/math]
of formal theories such that there are consistent extensions
- [math]\displaystyle{ S_1 }[/math],...,[math]\displaystyle{ S_n }[/math]
of these theories with each [math]\displaystyle{ S_{i+1} }[/math] interpretable in [math]\displaystyle{ S_i }[/math]. 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 [math]\displaystyle{ \Pi_1 }[/math]-consistency.
See also
References
- G. Japaridze, The logic of linear tolerance. Studia Logica 51 (1992), pp. 249–277.
- G. Japaridze, A generalized notion of weak interpretability and the corresponding logic. Annals of Pure and Applied Logic 61 (1993), pp. 113–160.
- G. Japaridze and D. de Jongh, The logic of provability. Handbook of Proof Theory. S. Buss, ed. Elsevier, 1998, pp. 476–546.
![]() | Original source: https://en.wikipedia.org/wiki/Tolerant sequence.
Read more |