Математическая энциклопедия - неклассическая теория моделей

теория моделей, отличающаяся от классической тем, что либо формальный язык, с к-рым она имеет дело, отличен от языка первого порядка либо логика, лежащая в ее основе, отлична от классической (двузначной). В дальнейшем, если не оговорено противное, логика считается двузначной.

В теории моделей языка Lнаиболее важными являются следующие проблемы.

а) Аксиоматизируемость множества тождественно истинных формул. Если существует эффективная нумерация формул языка Lнатуральными числами, то проблема уточняется: будет ли множество номеров тождественно истинных формул рекурсивно перечислимым?

б) Язык Lназ. -компактным, если для любого множества высказываний языка Lмощности из выполнимости каждого подмножества мощности следует выполнимость . Проблема компактности состоит в описании пар кардиналов для к-рых Lявляется -компактным.

в) Если формулы языка Lобразуют множество (несобственный класс), то существует такой кардинал а, что всякое множество высказываний языка L, имеющее модель мощности имеет модели сколь угодно больших мощностей. Наименьший такой кардинал наз. числом Ханфа языка L. Для оно равно счетной мощности . Проблема заключается в вычислении числа Ханфа для Lи в установлении условий существования моделей малых мощностей.

Ниже перечислены наиболее изученные неклассич. языки и для каждого из них отмечены нек-рые решения проблем а) в).

1) Язык логики второй ступени. Он получается из добавлением переменных для предикатов и разрешением навешивания на них кванторов. Высказывание Ф языка наз. истинным в системе (где Амодель сигнатуры Ф, а множества га-местных предикатов на А), если Ф истинно в Апри ограничении кванторов по n-местным предикатам множествами Если при этом совпадают с множествами всех n-местных предикатов на А, то говорят, что Ф истинно в модели А. Существует высказывание языка характеризующее арифметику натуральных чисел с точностью до изоморфизма. Из Гёделя теоремы о неполноте арифметики следует, что множество высказываний языка истинных во всех моделях, не аксиоматизируемо, вднако существует естественное обобщение аксиоматики исчисления предикатов первой ступени, для к-рого справедлива теорема Хенкина о полноте: из выводимы те и только те высказывания языка , к-рие истинны во всех системах удовлетворяющих аксиомам

В этом случае имеется аналог теоремы Лёвенхейма Сколема для если высказывание Ф языка истинно вместе с аксиомами в нек-рой системе, то Ф и истинны в системе где не более чем счетные. Нек-рые вопросы теории моделей языка связаны с проблемами теории множеств и неразрешимы в аксиоматике теории множеств Цермело Френкеля.

2) Язык (кардиналы). Формулы этого языка строятся из формул языка 1-го порядка с помощью конъюнкций и дизъюнкций множеств формул мощности , отрицания и кванторной приставки по предметным переменным длины . Истинность формулы в модели определяется, аналогично языку 1-го порядка, индукцией по построению формулы. Кардинал наз. компактным, если для любого кардинала язык является-компактным. Среди языков после наиболее изучен Всякую счетную модель счетной сигнатуры можно охарактеризовать высказыванием языка с точностью до изоморфизма. Язык для любого является компактным. Число Ханфа для равно , где определяется индукцией по ординалу и если предельный ординал.