Оглавление
Терпимая последовательность
-
Определение толерантности в математической логике
- Толерантная последовательность – последовательность теорий, где каждое последующее расширение интерпретируется в предыдущем.
- Толерантность распространяется на деревья теорий.
- Слабая интерпретируемость – частный случай толерантности, где интерпретация бинарна.
-
Связь толерантности с другими понятиями
- Джапаридзе доказал эквивалентность толерантности и Π1-последовательности для арифметики Пеано и более сильных теорий с эффективной аксиоматизацией.
-
Дополнительные материалы
- Ссылки на работы Джапаридзе и де Йонга, а также на книгу Бусса по теории доказательств.