Спектры консервативности и модель Йоостена–Фернандеса

Рассматривается обобщение понятия спектра консервативности арифметической теории на язык с трансфинитно итерированными определениями истинности. Установлено естественное соответствие между спектрами консервативности и точками специальной модели Крипке, введенной Д. Фернандесом–Дуке и Й. Йоостеном. Для итерированных схем рефлексии над теориями определений истинности установлены результаты о консервативности, аналогичные хорошо известным формулам Шмерля.