Sekwencja tolerancyjna

W logice matematycznej tolerancyjna sekwencja jest sekwencją

${\ Displaystyle T_ {1}}$ , ..., ${\ Displaystyle T_ {n}}$

teorii formalnych w taki sposób, że istnieją spójne rozszerzenia

${\ Displaystyle S_ {1}}$ , ..., ${\ Displaystyle S_ {n}}$

z tych teorii, z których każda może być interpretowana w $\ displaystyle S_ {i + 1}$$}$ Tolerancja w naturalny sposób uogólnia się od sekwencji teorii do drzew teorii. Słaba interpretowalność może być pokazana jako szczególny, binarny przypadek tolerancji.

Pojęcie to, wraz z jego podwójną koncepcją kotolerancji, zostało wprowadzone przez Japaridze w 1992 roku, który również udowodnił, że dla arytmetyki Peano i wszelkich silniejszych teorii z efektywnymi aksjomatyzacjami tolerancja jest równoważna ${\ Displaystyle \ Pi _ {1}}$ -konsystencja.

Zobacz też

• Interpretowalność
• Współinterpretowalność
• Logika interpretowalności

• G. Japaridze , Logika tolerancji liniowej . Studia Logica 51 (1992), s. 249–277.
• G. Japaridze , Uogólnione pojęcie słabej interpretowalności i odpowiadająca mu logika . Annals of Pure and Applied Logic 61 (1993), s. 113–160.
• G. Japaridze i D. de Jongh, Logika możliwości udowodnienia . Podręcznik teorii dowodu . S. Buss, wyd. Elsevier, 1998, s. 476–546.