Терпимая последовательность - Tolerant sequence

В математическая логика, а толерантная последовательность это последовательность

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

из формальные теории так что есть последовательный расширения

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

этих теорий с каждым ${ Displaystyle S_ {я + 1}}$ интерпретируемый в ${ displaystyle S_ {i}}$. Толерантность естественным образом обобщает последовательности теорий на деревья теорий. Слабая интерпретируемость можно показать как особый, бинарный случай толерантности.

Эта концепция вместе с ее двойственной концепцией толерантность, был представлен Джапаридзе в 1992 году, который также доказал это, для Арифметика Пеано и любые более сильные теории с эффективной аксиоматизацией, толерантность эквивалентна ${ displaystyle Pi _ {1}}$-согласованность.

Смотрите также

• Интерпретируемость
• Коинтерпретируемость
• Логика интерпретируемости

использованная литература

• Г.Джапаридзе, Логика линейного допуска. Studia Logica 51 (1992), стр. 249–277.
• Г.Джапаридзе, Обобщенное понятие слабой интерпретируемости и соответствующая логика. Анналы чистой и прикладной логики 61 (1993), стр. 113–160.
• Г.Джапаридзе и Д. де Йонг, Логика доказуемости. Справочник по теории доказательств. С. Бусс, изд. Эльзевир, 1998, стр. 476–546.