Лекция 13. Аксиоматизируемые и неаксиоматизируемые теории. Теорема Гёделя – Мальцева. Теоремы Лёвенгейма – Скулема о повышении и понижении мощности

Теоремы Лёвенгейма – Скулема

Пусть – модель сигнатуры где Ф – множество символов операций, а – множество символов отношений. Подмножество называется функционально замкнутым, если для любой п-арной операции и любых элементов имеет место включение Другими словами: применение операций из к элементам из не должно выводить за пределы множества Понятие функционально замкнутого подмножества (непустого) обобщает такие понятия, как подполугруппа, подалгебра. Действительно, непустое подмножество полугруппы со свойством – это и есть подполугруппа. Для подкольца это уже неверно. Так, если кольцо рассматривать в сигнатуре то – функционально замкнутое подмножество кольца но не подкольцо. Рассмотрим теперь понятие подгруппы. Если группу рассматривать в сигнатуре то понятие функционально замкнутого подмножества (непустого) будет совпадать с понятием подполугруппы, а если взять сигнатуру то непустые функционально замкнутые подмножества будут в точности являться подгруппами. Что касается понятия подполя, то совершенно непонятно, как подобрать сигнатуру, чтобы подполя совпадали с непустыми функционально замкнутыми подмножествами. Подполе – это подмножество поля, которое удовлетворяет аксиомам поля. Это наводит на мысль рассматривать подмножества модели, “замкнутые относительно формул”, но об этом мы будем говорить позже, а сначала докажем лемму, касающуюся функционально замкнутых подмножеств. Алфавит переменных, участвующий в построении формул, будем считать счётным:

Лемма 1. Пусть – модель сигнатуры – бесконечная мощность и – подмножество множества такое, что Если то имеет функционально замкнутое подмножество такое, что и

Подмножество В модели А называется экзистенциально замкнутым, если для любой формулы логики первого порядка и любых элементов если существует такое что то существует такое что

Лемма 2. Пусть – модель сигнатуры – бесконечная мощность и – подмножество множества такое, что Если то имеет экзистенциально замкнутое подмножество такое, что и

Следующая теорема утверждает (при определённых условиях) существование подмодели “небольшой мощности” c “хорошими свойствами”.

Теорема 6. Пусть – модель сигнатуры – бесконечная мощность Тогда существует подмодель такая, что и для любой формулы и любых истинность утверждения в равносильна его истинности в

Теперь выведем из этой теоремы теорему Лёвенгейма – Скулема о понижении мощности.

Теорема 7 (теорема Лёвенгейма – Скулема о понижении мощности). Пусть – множество предложений (замкнутых формул) сигнатуры – бесконечная мощность и Если существует какая-нибудь модель в которой все предложения из истинны, то существует модель мощности (возможно, другой сигнатуры), в которой также все предложения из истинны.

Пусть – сигнатура, в которую входит отношение равенства. Модель этой сигнатуры называется нормальной, если в ней в том и только том случае, если элементы и совпадают (представляют собой один и тот же элемент).

Теорема 8 (теорема Лёвенгейма – Скулема о повышении мощности). Пусть – множество замкнутых формул сигнатуры содержащей отношение равенства, и – бесконечная мощность. Если существует бесконечная нормальная модель в которой все предложения из истинны, то существует нормальная модель мощности с этим свойством.

Теорема компактности Гёделя – Мальцева

Немецкому математику К.Гёделю и советскому математику А.И.Мальцеву принадлежит замечательная теорема, сыгравшая важную роль в математической логике и алгебре. Прежде чем её сформулировать, введём несколько определений и обозначений.

Предложением мы будем называть замкнутую формулу, т.е. формулу, не содержащую свободных переменных. Теорией будем называть совокупность предложений (конечную или бесконечную) одной сигнатуры. Будем говорить, что теория имеет модель если все предложения теории истинны на Далее, если – теория, а Ф – замкнутая формула УИП, то мы пишем если Ф истинна на любой модели теории т.е. Ф истинна на любой модели, на которой истинны все формулы из

Теорема 5 (теорема компактности Гёделя – Мальцева). Если каждое конечное подмножество имеет модель, то теория имеет модель.

Для доказательства неаксиоматизируемости некоторых классов алгебраических систем часто используется следствие из теоремы компактности, которое мы сейчас приведём.

Следствие. Пусть – множество предложений логики первого порядка и Тогда существует конечное подмножество такое, что

Будем называть класс каких-либо моделей одной сигнатуры аксиоматизируемым, если он может быть задан совокупностью аксиом – предложений логики первого порядка. Класс моделей конечно аксиоматизируем, если он задаётся конечным числом аксиом. Очевидно, группы, кольца, поля, тела, частично упорядоченные множества – это конечно аксиоматизируемые классы.

Напомним, что абелевой группой называется коммутативная группа. Будем использовать для абелевых групп аддитивную запись, т.е. сигнатуру Тогда класс абелевых групп может быть задан аксиомами:

1. 

2. 

3. 

4. 

Следовательно, класс абелевых групп конечно аксиоматизируем.

Назовём абелеву группу делимой, если для любого и любого натурального уравнение разрешимо в (Мы используем здесь сокращённые записи термов: и.д.). Если записать условие на абелеву группу “быть делимой” в следующем виде: то это не будет аксиоматизацией в определённом выше смысле, так как данное утверждение не является формулой логики первого порядка (“мешает” сочетание ). Однако для делимых групп можно записать бесконечный набор аксиом – предложений УИП:

(

(

. . . . . . . . . . . . .

Покажем, что класс делимых абелевых групп в логике первого порядка не может быть задан конечным числом аксиом. В этом нам поможет теорема компактности. Действительно, пусть – конечное множество предложений логики первого порядка, истинных во всех делимых абелевых группах. Положим Для достижения поставленной цели достаточно доказать, что выполнено в какой-нибудь абелевой группе, не являющейся делимой. Пусть – множество аксиом (1) – (4) и Тогда По следствию из теоремы компактности существует конечное такое, что Следовательно, существует такое что истинна во всех абелевых группах, удовлетворяющих аксиомам при Возьмём простое число Циклическая группа порядка р удовлетворяет этим аксиомам, значит, в ней выполнена аксиома Но не является делимой, так как уравнение в ней неразрешимо. Мы получили противоречие. Таким образом, класс делимых абелевых групп аксиоматизируем, но не является конечно аксиоматизируемым.

Абелева группа называется периодической, если каждый её элемент имеет конечный порядок. Это можно записать следующим образом: Данное утверждение не является предложением логики первого порядка. Оказывается, класс периодических абелевых групп не является аксиоматизируемым (т.е. не может быть задан конечным или бесконечным списком предложений логики первого порядка). Докажем это. Пусть – периодическая абелева группа такая, что для каждого существует элемент порядка (Например, (прямая сумма циклических групп простых порядков). Докажем, что существует непериодическая абелева группа удовлетворяющая в точности тем предложениям логики первого порядка, что и группа Пусть – множество предложений логики первого порядка, истинных на Введём новый константный символ и добавим к предложения и т.д. Получим множество Если удовлетворяет всем аксиомам то как раз и будет непериодической группой, удовлетворяющей всем аксиомам (непериодичность следует из того, что элемент имеет бесконечный порядок). Осталось доказать, что группа существует. Действительно, пусть – конечное подмножество множества и – наибольшее такое, что аксиома содержится в Моделью для может служить По теореме компактности, так как всякое конечное подмножество множества имеет модель, то и всё имеет модель. Следовательно, группа существует.

Задачи для самостоятельного решения

1. Доказать, что класс групп, состоящих не более, чем из элементов, конечно аксиоматизируем в сигнатуре

2. Абелева группа называется группой без кручения, если Доказать, что класс абелевых групп без кручения аксиоматизируем, но не конечно аксиоматизируем.

3. Пусть – аксиоматизируемый класс, содержащий конечные модели со сколь угодно большим количеством элементов. Доказать, что класс содержит бесконечную модель.

4. Доказать, что следующие классы не являются аксиоматизируемыми:

а) класс конечных групп;

б) класс конечных абелевых групп;

в) класс циклических групп.

Указание: воспользуйтесь результатом предыдущей задачи.

5. Что из себя представляет ультрапроизведение моделей где – главный ультрафильтр?

Ответ: оно изоморфно

6. Доказать, что не являются конечно аксиоматизируемыми классы:

а) бесконечных групп;

б) бесконечных частично упорядоченных множеств;

в) бесконечных линейно упорядоченных множеств.

4