О вычислительных аспектах теории истины по Крипке

В теории истины по Крипке роль допустимых (частичных) интерпретаций истинностного предиката T выполняют наименьшие неподвижные точки специального рода монотонных операторов. Основой этих операторов являются различные схемы частичных означиваний, такие как схемы, соответствующие сильной или слабой трёхзначной логике Клини, или схема суперозначиваний фан Фраассена. Отметим, что получающиеся в результате наименьшие неподвижные точки представляют собой пределы специального рода трансфинитных последовательностей частичных интерпретаций. Естественным образом возникает задача оценки сложности допустимых по Крипке интерпретаций предиката T. При этом «сложность» можно определить как минимум двумя способами:
i. под сложностью интерпретации можно понимать её m-степень (точнее, m-степень кодирующего её множества натуральных чисел);
ii. под сложностью интерпретации можно понимать наименьший шаг (точнее, ординал), на котором она достигается в порождающей её трансфинитной последовательности.
В докладе будет дан обзор результатов о сложности допустимых интерпретаций предиката T, возникающих в теории истины по Крипке. При этом я изложу сравнительно простой и одновременно довольно общий подход, позволяющий получать такого рода результаты. Овладение данным подходом требует лишь базового знания конструктивных ординалов.
Приглашаются все желающие.