Tolerant sekvens

I matematisk logik är en tolerant sekvens en sekvens

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

av formella teorier så att det finns konsekventa förlängningar

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

av dessa teorier med varje $S_{i+1}$ tolkbar i $S_{i}$ . Tolerans generaliserar naturligtvis från sekvenser av teorier till teoriträd. Svag tolkningsbarhet kan visa sig vara ett speciellt, binärt fall av tolerans.

Detta koncept, tillsammans med dess dubbla koncept av samtolerans, introducerades av Japaridze 1992, som också bevisade att för Peano-aritmetik och alla starkare teorier med effektiva axiomatiseringar, är tolerans ekvivalent med $\Pi _{1}$ -konsistens.

Se även

• Tolkbarhet
• Samtolkbarhet
• Tolkbarhetslogik

• G. Japaridze , Den linjära toleransens logik . Studia Logica 51 (1992), s. 249–277.
• G. Japaridze , en generaliserad föreställning om svag tolkningsbarhet och motsvarande logik . Annals of Pure and Applied Logic 61 (1993), s. 113–160.
• G. Japaridze och D. de Jongh, The logic of provability . Handbok i bevisteori . S. Buss, red. Elsevier, 1998, s. 476–546.