Логические основы теории сложности...
TRANSCRIPT
![Page 1: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/1.jpg)
Логические основы теории сложности доказательств
Александр Смаль
Лекция №2
27 марта 2009 г.
1 / 16
![Page 2: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/2.jpg)
Что было на первой лекции?
1 Пропозициональная логика.2 Генценовская система доказательств для пропозициональной логики PK.3 Логика первого порядка.4 Секвенциальная система доказательств для логики первого порядка LK.5 Закреплённые (anchored) доказательства.6 Теоремы корректности и полноты для систем доказательств PK и LP
(в том числе и для закреплённых доказательств).7 Теоремы компактности для пропозициональной логики и логики первого
порядка.8 Слабые структуры и аксиомы равенства.
2 / 16
![Page 3: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/3.jpg)
Базовые определения
ОпределениеЕсли L — язык логики первого порядка, то L-структура (модель для L) M
состоит из:1 множества M 6= ∅, называемого универсум;2 интерпретации для каждого функционального символа (отображения);3 интерпретации для каждого предикатного символа (отношения).
ОпределениеТеория над языком L — множество формул из L замкнутое относительнологического следствия и универсального замыкания.Будем также определять теорию T через множество её аксиом Γ.
T = {A | A — L-формула и ∀Γ |= A}.
ОпределениеA называется теоремой T, если A ∈ T. Будем обозначать A ` T.
3 / 16
![Page 4: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/4.jpg)
Базовые определения
ОпределениеЕсли L — язык логики первого порядка, то L-структура (модель для L) M
состоит из:1 множества M 6= ∅, называемого универсум;2 интерпретации для каждого функционального символа (отображения);3 интерпретации для каждого предикатного символа (отношения).
ОпределениеТеория над языком L — множество формул из L замкнутое относительнологического следствия и универсального замыкания.Будем также определять теорию T через множество её аксиом Γ.
T = {A | A — L-формула и ∀Γ |= A}.
ОпределениеA называется теоремой T, если A ∈ T. Будем обозначать A ` T.
3 / 16
![Page 5: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/5.jpg)
Базовые определения
ОпределениеЕсли L — язык логики первого порядка, то L-структура (модель для L) M
состоит из:1 множества M 6= ∅, называемого универсум;2 интерпретации для каждого функционального символа (отображения);3 интерпретации для каждого предикатного символа (отношения).
ОпределениеТеория над языком L — множество формул из L замкнутое относительнологического следствия и универсального замыкания.Будем также определять теорию T через множество её аксиом Γ.
T = {A | A — L-формула и ∀Γ |= A}.
ОпределениеA называется теоремой T, если A ∈ T. Будем обозначать A ` T.
3 / 16
![Page 6: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/6.jpg)
Истинная арифметикаОпределениеЯзык арифметики LA = [0, 1,+, · ; =,≤].
ОпределениеСтандартная модель N для LA — модель с универсумом M = N, в которой0, 1,+, · ,=,≤ принимают свои стандартные для N значения. Будемиспользовать обозначение t < u для (t ≤ u ∧ t 6= u).
ОпределениеНумералом для числа n будем называть терм n, определяемый индуктивно:0 = 0, 1 = 1, n + 1 = (n + 1). Пример: 3 = ((1 + 1) + 1).
ОпределениеTA (True Arithmetic) — теория над LA, содержащая все формулы, чьиуниверсальные замыкания верны N. TA = {A | N |= ∀A}.
Из теоремы Гёделя о неполноте следует, что TA не имеет вычислимогомножества аксиом.
4 / 16
![Page 7: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/7.jpg)
Истинная арифметикаОпределениеЯзык арифметики LA = [0, 1,+, · ; =,≤].
ОпределениеСтандартная модель N для LA — модель с универсумом M = N, в которой0, 1,+, · ,=,≤ принимают свои стандартные для N значения. Будемиспользовать обозначение t < u для (t ≤ u ∧ t 6= u).
ОпределениеНумералом для числа n будем называть терм n, определяемый индуктивно:0 = 0, 1 = 1, n + 1 = (n + 1). Пример: 3 = ((1 + 1) + 1).
ОпределениеTA (True Arithmetic) — теория над LA, содержащая все формулы, чьиуниверсальные замыкания верны N. TA = {A | N |= ∀A}.
Из теоремы Гёделя о неполноте следует, что TA не имеет вычислимогомножества аксиом.
4 / 16
![Page 8: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/8.jpg)
Истинная арифметикаОпределениеЯзык арифметики LA = [0, 1,+, · ; =,≤].
ОпределениеСтандартная модель N для LA — модель с универсумом M = N, в которой0, 1,+, · ,=,≤ принимают свои стандартные для N значения. Будемиспользовать обозначение t < u для (t ≤ u ∧ t 6= u).
ОпределениеНумералом для числа n будем называть терм n, определяемый индуктивно:0 = 0, 1 = 1, n + 1 = (n + 1). Пример: 3 = ((1 + 1) + 1).
ОпределениеTA (True Arithmetic) — теория над LA, содержащая все формулы, чьиуниверсальные замыкания верны N. TA = {A | N |= ∀A}.
Из теоремы Гёделя о неполноте следует, что TA не имеет вычислимогомножества аксиом.
4 / 16
![Page 9: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/9.jpg)
Истинная арифметикаОпределениеЯзык арифметики LA = [0, 1,+, · ; =,≤].
ОпределениеСтандартная модель N для LA — модель с универсумом M = N, в которой0, 1,+, · ,=,≤ принимают свои стандартные для N значения. Будемиспользовать обозначение t < u для (t ≤ u ∧ t 6= u).
ОпределениеНумералом для числа n будем называть терм n, определяемый индуктивно:0 = 0, 1 = 1, n + 1 = (n + 1). Пример: 3 = ((1 + 1) + 1).
ОпределениеTA (True Arithmetic) — теория над LA, содержащая все формулы, чьиуниверсальные замыкания верны N. TA = {A | N |= ∀A}.
Из теоремы Гёделя о неполноте следует, что TA не имеет вычислимогомножества аксиом.
4 / 16
![Page 10: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/10.jpg)
Истинная арифметикаОпределениеЯзык арифметики LA = [0, 1,+, · ; =,≤].
ОпределениеСтандартная модель N для LA — модель с универсумом M = N, в которой0, 1,+, · ,=,≤ принимают свои стандартные для N значения. Будемиспользовать обозначение t < u для (t ≤ u ∧ t 6= u).
ОпределениеНумералом для числа n будем называть терм n, определяемый индуктивно:0 = 0, 1 = 1, n + 1 = (n + 1). Пример: 3 = ((1 + 1) + 1).
ОпределениеTA (True Arithmetic) — теория над LA, содержащая все формулы, чьиуниверсальные замыкания верны N. TA = {A | N |= ∀A}.
Из теоремы Гёделя о неполноте следует, что TA не имеет вычислимогомножества аксиом.
4 / 16
![Page 11: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/11.jpg)
1−BASICОпределим набор аксиом 1−BASIC
B1. x + 1 6= 0B2. x + 1 = y + 1 ⊃ x = yB3. x + 0 = xB4. x + (y + 1) = (x + y) + 1C. 0 + 1 = 1
B5. x · 0 = 0B6. x · (y + 1) = (x · y) + xB7. (x ≤ y ∧ y ≤ x) ⊃ x = yB8. x ≤ x + y
ЛеммаЕсли ϕ — бескванторное высказывание языка LA, то
TA ` ϕ ⇐⇒ 1−BASIC ` ϕ.
ОпределениеЕсли Φ — множество формул, то множество аксиом Φ−IND:
[ϕ(0) ∧ ∀xϕ(x) ⊃ ϕ(x + 1)] ⊃ ∀zϕ(z), где ϕ ∈ Φ
(ϕ(x) может иметь свободные переменные переменные кроме x).
5 / 16
![Page 12: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/12.jpg)
1−BASICОпределим набор аксиом 1−BASIC
B1. x + 1 6= 0B2. x + 1 = y + 1 ⊃ x = yB3. x + 0 = xB4. x + (y + 1) = (x + y) + 1C. 0 + 1 = 1
B5. x · 0 = 0B6. x · (y + 1) = (x · y) + xB7. (x ≤ y ∧ y ≤ x) ⊃ x = yB8. x ≤ x + y
ЛеммаЕсли ϕ — бескванторное высказывание языка LA, то
TA ` ϕ ⇐⇒ 1−BASIC ` ϕ.
ОпределениеЕсли Φ — множество формул, то множество аксиом Φ−IND:
[ϕ(0) ∧ ∀xϕ(x) ⊃ ϕ(x + 1)] ⊃ ∀zϕ(z), где ϕ ∈ Φ
(ϕ(x) может иметь свободные переменные переменные кроме x).
5 / 16
![Page 13: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/13.jpg)
1−BASICОпределим набор аксиом 1−BASIC
B1. x + 1 6= 0B2. x + 1 = y + 1 ⊃ x = yB3. x + 0 = xB4. x + (y + 1) = (x + y) + 1C. 0 + 1 = 1
B5. x · 0 = 0B6. x · (y + 1) = (x · y) + xB7. (x ≤ y ∧ y ≤ x) ⊃ x = yB8. x ≤ x + y
ЛеммаЕсли ϕ — бескванторное высказывание языка LA, то
TA ` ϕ ⇐⇒ 1−BASIC ` ϕ.
ОпределениеЕсли Φ — множество формул, то множество аксиом Φ−IND:
[ϕ(0) ∧ ∀xϕ(x) ⊃ ϕ(x + 1)] ⊃ ∀zϕ(z), где ϕ ∈ Φ
(ϕ(x) может иметь свободные переменные переменные кроме x).
5 / 16
![Page 14: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/14.jpg)
Арифметика Пеано
ОпределениеТеория PA (Peano Arithmetic) содержит аксиомы B1, . . . , B8 вместе сΦ−IND, где Φ — множество всех LA формул.
ОпределениеЕсли переменная x не входит в терм t, то будем использовать запись ∃x ≤ tAдля обозначения ∃x(x ≤ t ∧ A), и ∀x ≤ tA для обозначения ∀x(x ≤ t ⊃ A).Такие кванторы называются ограниченными. Формула ограниченна, есливсе её кванторы ограниченны.
ОпределениеOPEN — множество всех бескванторных формул. ∆0 — множество всехограниченных формул. Σ1 — множество всех формул вида ∃~xϕ, где ϕограниченна, а ~x возможно пустой вектор переменных. Теории IOPEN, I∆0и IΣ1 — подсистемы PA, полученные ограничением схемы индукции намножествах OPEN, ∆0 и Σ1 соответственно.
6 / 16
![Page 15: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/15.jpg)
Арифметика Пеано
ОпределениеТеория PA (Peano Arithmetic) содержит аксиомы B1, . . . , B8 вместе сΦ−IND, где Φ — множество всех LA формул.
ОпределениеЕсли переменная x не входит в терм t, то будем использовать запись ∃x ≤ tAдля обозначения ∃x(x ≤ t ∧ A), и ∀x ≤ tA для обозначения ∀x(x ≤ t ⊃ A).Такие кванторы называются ограниченными. Формула ограниченна, есливсе её кванторы ограниченны.
ОпределениеOPEN — множество всех бескванторных формул. ∆0 — множество всехограниченных формул. Σ1 — множество всех формул вида ∃~xϕ, где ϕограниченна, а ~x возможно пустой вектор переменных. Теории IOPEN, I∆0и IΣ1 — подсистемы PA, полученные ограничением схемы индукции намножествах OPEN, ∆0 и Σ1 соответственно.
6 / 16
![Page 16: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/16.jpg)
Арифметика Пеано
ОпределениеТеория PA (Peano Arithmetic) содержит аксиомы B1, . . . , B8 вместе сΦ−IND, где Φ — множество всех LA формул.
ОпределениеЕсли переменная x не входит в терм t, то будем использовать запись ∃x ≤ tAдля обозначения ∃x(x ≤ t ∧ A), и ∀x ≤ tA для обозначения ∀x(x ≤ t ⊃ A).Такие кванторы называются ограниченными. Формула ограниченна, есливсе её кванторы ограниченны.
ОпределениеOPEN — множество всех бескванторных формул. ∆0 — множество всехограниченных формул. Σ1 — множество всех формул вида ∃~xϕ, где ϕограниченна, а ~x возможно пустой вектор переменных. Теории IOPEN, I∆0и IΣ1 — подсистемы PA, полученные ограничением схемы индукции намножествах OPEN, ∆0 и Σ1 соответственно.
6 / 16
![Page 17: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/17.jpg)
IOPEN
Следующие формулы и их универсальные замыкания являются теоремамиIOPEN:O1. (x + y) + z = x + (y + z) (ассоциативность сложения)O2. x + y = y + x (коммутативность сложения)O3. x · (y + z) = (x · y) + (x · z) (дистрибутивный закон)O4. (x · y) · z = x · (y · z) (ассоциативность умножения)O5. x · y = y · x (коммутативность умножения)O6. x + y = y + z ⊃ x = y (закон сокращения для сложения)O7. 0 ≤ xO8. x ≤ 0 ⊃ x = 0O9. x ≤ xO10. x 6= x + 1
7 / 16
![Page 18: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/18.jpg)
I∆0
Следующие формулы и их универсальные замыкания являются теоремамиI∆0:D1. x 6= 0 ⊃ ∃y ≤ x(x = y + 1) (существование предыдущего)D2. ∃z(x + z = y ∨ y + z = x)
D3. x ≤ y ↔ ∃z(x + z = y)
D4. (x ≤ y ∧ y ≤ z) ⊃ x ≤ z (транзитивность)D5. x ≤ y ∨ y ≤ x (полный порядок)D6. x ≤ y ↔ x + z ≤ y + zD7. x ≤ y ⊃ x · z ≤ y · zD8. x ≤ y + 1↔ (x ≤ y ∨ x = y + 1) (дискретность 1)D9. x < y ↔ x + 1 ≤ y (дискретность 2)D10. x · z = y · z ∧ z 6= 0 ⊃ x = y (закон сокращения для умножения)
Т.о. все модели I∆0 являются коммутативными идискретно-упорядоченными.
8 / 16
![Page 19: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/19.jpg)
I∆0
Следующие формулы и их универсальные замыкания являются теоремамиI∆0:D1. x 6= 0 ⊃ ∃y ≤ x(x = y + 1) (существование предыдущего)D2. ∃z(x + z = y ∨ y + z = x)
D3. x ≤ y ↔ ∃z(x + z = y)
D4. (x ≤ y ∧ y ≤ z) ⊃ x ≤ z (транзитивность)D5. x ≤ y ∨ y ≤ x (полный порядок)D6. x ≤ y ↔ x + z ≤ y + zD7. x ≤ y ⊃ x · z ≤ y · zD8. x ≤ y + 1↔ (x ≤ y ∨ x = y + 1) (дискретность 1)D9. x < y ↔ x + 1 ≤ y (дискретность 2)D10. x · z = y · z ∧ z 6= 0 ⊃ x = y (закон сокращения для умножения)Т.о. все модели I∆0 являются коммутативными идискретно-упорядоченными.
8 / 16
![Page 20: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/20.jpg)
Несколько лемм
Из теоремы Гёделя о неполноте следует, что существует ограниченнаяформула ϕ(x) такая, что ∀xφ(x) верна, но I∆0 6` ∀ϕ(x).
ЛеммаЕсли ϕ — Σ1 высказывание, то TA ` ϕ ⇐⇒ I∆0 ` ϕ.
ЛеммаДля любого n ∈ N I∆0 ` x ≤ n↔ (x = 0 ∨ x = 1 ∨ . . . ∨ x = n).
Proof.Индукция по n. База n = 0 следует из O7 и O8. Переход из D8.
9 / 16
![Page 21: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/21.jpg)
Несколько лемм
Из теоремы Гёделя о неполноте следует, что существует ограниченнаяформула ϕ(x) такая, что ∀xφ(x) верна, но I∆0 6` ∀ϕ(x).
ЛеммаЕсли ϕ — Σ1 высказывание, то TA ` ϕ ⇐⇒ I∆0 ` ϕ.
ЛеммаДля любого n ∈ N I∆0 ` x ≤ n↔ (x = 0 ∨ x = 1 ∨ . . . ∨ x = n).
Proof.Индукция по n. База n = 0 следует из O7 и O8. Переход из D8.
9 / 16
![Page 22: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/22.jpg)
Несколько лемм
Из теоремы Гёделя о неполноте следует, что существует ограниченнаяформула ϕ(x) такая, что ∀xφ(x) верна, но I∆0 6` ∀ϕ(x).
ЛеммаЕсли ϕ — Σ1 высказывание, то TA ` ϕ ⇐⇒ I∆0 ` ϕ.
ЛеммаДля любого n ∈ N I∆0 ` x ≤ n↔ (x = 0 ∨ x = 1 ∨ . . . ∨ x = n).
Proof.Индукция по n. База n = 0 следует из O7 и O8. Переход из D8.
9 / 16
![Page 23: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/23.jpg)
Несколько лемм
Из теоремы Гёделя о неполноте следует, что существует ограниченнаяформула ϕ(x) такая, что ∀xφ(x) верна, но I∆0 6` ∀ϕ(x).
ЛеммаЕсли ϕ — Σ1 высказывание, то TA ` ϕ ⇐⇒ I∆0 ` ϕ.
ЛеммаДля любого n ∈ N I∆0 ` x ≤ n↔ (x = 0 ∨ x = 1 ∨ . . . ∨ x = n).
Proof.Индукция по n. База n = 0 следует из O7 и O8. Переход из D8.
9 / 16
![Page 24: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/24.jpg)
Схемы индукцииОпределениеОграниченная схема индукции для формул из ∆0:(ϕ(0) ∧ ∀x < z(ϕ(x) ⊃ ϕ(x + 1))
)⊃ ϕ(z), где ϕ(x) — любая ∆0 формула.
ТеоремаВ I∆0 можно заменить ∆0 − IND на ограниченную схему индукции дляформул ∆0.
ОпределениеСильная схема индукции для ϕ(x):
∀x((∀y < xϕ(y)) ⊃ ϕ(x)
)⊃ ∀zϕ(z).
ТеоремаI∆0 доказывает сильную схему индукции для ∆0 формул.
10 / 16
![Page 25: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/25.jpg)
Схемы индукцииОпределениеОграниченная схема индукции для формул из ∆0:(ϕ(0) ∧ ∀x < z(ϕ(x) ⊃ ϕ(x + 1))
)⊃ ϕ(z), где ϕ(x) — любая ∆0 формула.
ТеоремаВ I∆0 можно заменить ∆0 − IND на ограниченную схему индукции дляформул ∆0.
ОпределениеСильная схема индукции для ϕ(x):
∀x((∀y < xϕ(y)) ⊃ ϕ(x)
)⊃ ∀zϕ(z).
ТеоремаI∆0 доказывает сильную схему индукции для ∆0 формул.
10 / 16
![Page 26: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/26.jpg)
Схемы индукцииОпределениеОграниченная схема индукции для формул из ∆0:(ϕ(0) ∧ ∀x < z(ϕ(x) ⊃ ϕ(x + 1))
)⊃ ϕ(z), где ϕ(x) — любая ∆0 формула.
ТеоремаВ I∆0 можно заменить ∆0 − IND на ограниченную схему индукции дляформул ∆0.
ОпределениеСильная схема индукции для ϕ(x):
∀x((∀y < xϕ(y)) ⊃ ϕ(x)
)⊃ ∀zϕ(z).
ТеоремаI∆0 доказывает сильную схему индукции для ∆0 формул.
10 / 16
![Page 27: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/27.jpg)
Схемы индукцииОпределениеОграниченная схема индукции для формул из ∆0:(ϕ(0) ∧ ∀x < z(ϕ(x) ⊃ ϕ(x + 1))
)⊃ ϕ(z), где ϕ(x) — любая ∆0 формула.
ТеоремаВ I∆0 можно заменить ∆0 − IND на ограниченную схему индукции дляформул ∆0.
ОпределениеСильная схема индукции для ϕ(x):
∀x((∀y < xϕ(y)) ⊃ ϕ(x)
)⊃ ∀zϕ(z).
ТеоремаI∆0 доказывает сильную схему индукции для ∆0 формул.
10 / 16
![Page 28: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/28.jpg)
Полиномиально-ограниченные теории
ОпределениеТерм t(~x) — ограничивающий терм для функционального символа f (~x) вT, если T ` ∀~x f (~x) ≤ t(~x).
ОпределениеФункциональный символ f полиномиально ограничен (или p-ограничен)в T, если имеет ограничивающий терм в LA
ОпределениеПусть T — теория над языком L. Тогда T полиномиально ограничена (илиp-ограничена), если
T расширяет I∆0;T может быть аксиоматизирована ограниченными формулами;каждая функция f ∈ L полиномиально ограничена.
11 / 16
![Page 29: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/29.jpg)
Полиномиально-ограниченные теории
ОпределениеТерм t(~x) — ограничивающий терм для функционального символа f (~x) вT, если T ` ∀~x f (~x) ≤ t(~x).
ОпределениеФункциональный символ f полиномиально ограничен (или p-ограничен)в T, если имеет ограничивающий терм в LA
ОпределениеПусть T — теория над языком L. Тогда T полиномиально ограничена (илиp-ограничена), если
T расширяет I∆0;T может быть аксиоматизирована ограниченными формулами;каждая функция f ∈ L полиномиально ограничена.
11 / 16
![Page 30: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/30.jpg)
Полиномиально-ограниченные теории
ОпределениеТерм t(~x) — ограничивающий терм для функционального символа f (~x) вT, если T ` ∀~x f (~x) ≤ t(~x).
ОпределениеФункциональный символ f полиномиально ограничен (или p-ограничен)в T, если имеет ограничивающий терм в LA
ОпределениеПусть T — теория над языком L. Тогда T полиномиально ограничена (илиp-ограничена), если
T расширяет I∆0;T может быть аксиоматизирована ограниченными формулами;каждая функция f ∈ L полиномиально ограничена.
11 / 16
![Page 31: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/31.jpg)
Теорема Париха
ТеоремаЕсли T — полиномиально-ограниченная теория и ϕ(~x , y) — ограниченнаяформула со свободными переменными ~x , y такая, что T ` ∀~x∃yϕ(~x , y), тогдаесть такой терм t, содержащий только переменные из ~x, такой, чтоT ` ∀~x∃y ≤ tϕ(~x , y).
В дальнейшем мы узнаем, как выразить отношение y = 2x при помощиограниченной формулы ϕexp(x , y).Из теоремы Париха следует, что
I∆0 6` ∀x∃yϕexp(x , y).
ЗамечаниеМожно обобщить теорему Париха так: если ϕ — ограниченная формула иT ` ∃~yϕ, тогда существует LA-термы t1, . . . , tk , не содержащие переменныеиз ~y и свободные переменные из ϕ, такие, что T ` ∃y1 ≤ t1 . . . ∃yk ≤ tkϕ.
12 / 16
![Page 32: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/32.jpg)
Теорема Париха
ТеоремаЕсли T — полиномиально-ограниченная теория и ϕ(~x , y) — ограниченнаяформула со свободными переменными ~x , y такая, что T ` ∀~x∃yϕ(~x , y), тогдаесть такой терм t, содержащий только переменные из ~x, такой, чтоT ` ∀~x∃y ≤ tϕ(~x , y).
В дальнейшем мы узнаем, как выразить отношение y = 2x при помощиограниченной формулы ϕexp(x , y).
Из теоремы Париха следует, что
I∆0 6` ∀x∃yϕexp(x , y).
ЗамечаниеМожно обобщить теорему Париха так: если ϕ — ограниченная формула иT ` ∃~yϕ, тогда существует LA-термы t1, . . . , tk , не содержащие переменныеиз ~y и свободные переменные из ϕ, такие, что T ` ∃y1 ≤ t1 . . . ∃yk ≤ tkϕ.
12 / 16
![Page 33: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/33.jpg)
Теорема Париха
ТеоремаЕсли T — полиномиально-ограниченная теория и ϕ(~x , y) — ограниченнаяформула со свободными переменными ~x , y такая, что T ` ∀~x∃yϕ(~x , y), тогдаесть такой терм t, содержащий только переменные из ~x, такой, чтоT ` ∀~x∃y ≤ tϕ(~x , y).
В дальнейшем мы узнаем, как выразить отношение y = 2x при помощиограниченной формулы ϕexp(x , y).Из теоремы Париха следует, что
I∆0 6` ∀x∃yϕexp(x , y).
ЗамечаниеМожно обобщить теорему Париха так: если ϕ — ограниченная формула иT ` ∃~yϕ, тогда существует LA-термы t1, . . . , tk , не содержащие переменныеиз ~y и свободные переменные из ϕ, такие, что T ` ∃y1 ≤ t1 . . . ∃yk ≤ tkϕ.
12 / 16
![Page 34: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/34.jpg)
Теорема Париха
ТеоремаЕсли T — полиномиально-ограниченная теория и ϕ(~x , y) — ограниченнаяформула со свободными переменными ~x , y такая, что T ` ∀~x∃yϕ(~x , y), тогдаесть такой терм t, содержащий только переменные из ~x, такой, чтоT ` ∀~x∃y ≤ tϕ(~x , y).
В дальнейшем мы узнаем, как выразить отношение y = 2x при помощиограниченной формулы ϕexp(x , y).Из теоремы Париха следует, что
I∆0 6` ∀x∃yϕexp(x , y).
ЗамечаниеМожно обобщить теорему Париха так: если ϕ — ограниченная формула иT ` ∃~yϕ, тогда существует LA-термы t1, . . . , tk , не содержащие переменныеиз ~y и свободные переменные из ϕ, такие, что T ` ∃y1 ≤ t1 . . . ∃yk ≤ tkϕ.
12 / 16
![Page 35: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/35.jpg)
Расширения для структур
ОпределениеПусть L1 ⊆ L2 — языки и M1 и M2 — соответствующие структуры для них.Мы говорим, что M2 является расширением M1, если M1 и M2 имеютодин и тот же универсум и одну и ту же интерпретация для символов из L1.
ОбозначениеОбозначение ∃!xϕ(x) соответствует ∃x , ϕ(x) ∧ ∀y(ϕ(y) ⊃ x = y), где y —новая переменная не встречающаяся в ϕ(x).
ОбозначениеОбозначение ∃!x ≤ tϕ(x), где t не содержит x , соответствует∃x ≤ t, ϕ(x) ∧ ∀y ≤ t(ϕ(y) ⊃ x = y), где y — новая переменная невстречающаяся в ϕ(x) или t.
13 / 16
![Page 36: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/36.jpg)
Расширения для структур
ОпределениеПусть L1 ⊆ L2 — языки и M1 и M2 — соответствующие структуры для них.Мы говорим, что M2 является расширением M1, если M1 и M2 имеютодин и тот же универсум и одну и ту же интерпретация для символов из L1.
ОбозначениеОбозначение ∃!xϕ(x) соответствует ∃x , ϕ(x) ∧ ∀y(ϕ(y) ⊃ x = y), где y —новая переменная не встречающаяся в ϕ(x).
ОбозначениеОбозначение ∃!x ≤ tϕ(x), где t не содержит x , соответствует∃x ≤ t, ϕ(x) ∧ ∀y ≤ t(ϕ(y) ⊃ x = y), где y — новая переменная невстречающаяся в ϕ(x) или t.
13 / 16
![Page 37: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/37.jpg)
Расширения для структур
ОпределениеПусть L1 ⊆ L2 — языки и M1 и M2 — соответствующие структуры для них.Мы говорим, что M2 является расширением M1, если M1 и M2 имеютодин и тот же универсум и одну и ту же интерпретация для символов из L1.
ОбозначениеОбозначение ∃!xϕ(x) соответствует ∃x , ϕ(x) ∧ ∀y(ϕ(y) ⊃ x = y), где y —новая переменная не встречающаяся в ϕ(x).
ОбозначениеОбозначение ∃!x ≤ tϕ(x), где t не содержит x , соответствует∃x ≤ t, ϕ(x) ∧ ∀y ≤ t(ϕ(y) ⊃ x = y), где y — новая переменная невстречающаяся в ϕ(x) или t.
13 / 16
![Page 38: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/38.jpg)
Представимые символы
ОпределениеПусть T — теория над языком L, а Φ — множество L-формул.
1 Будем говорить, что предикатный символ P(~x) не из L являетсяΦ-представим в T, если существует формула ϕ(~x) в Φ такая, чтоP(~x)↔ ϕ(~x) (определяющая аксиома для P(~x)).
2 Будем говорить, что функциональный символ f (~x) не из L являетсяΦ-представим в T, если существует формула ϕ(~x , y) в Φ такая, чтоT ` ∀~x∃!yϕ(~x , y) и y = f (~x)↔ ϕ(~x , y) (определяющая аксиома дляf (~x)).
ОпределениеСимвол представим в T, если он Φ-представим в T для некоторого Φ.
ПримерPrime(x)↔ 1 < x ∧ ∀y < x∀z < x(y · z 6= x).
14 / 16
![Page 39: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/39.jpg)
Представимые символы
ОпределениеПусть T — теория над языком L, а Φ — множество L-формул.
1 Будем говорить, что предикатный символ P(~x) не из L являетсяΦ-представим в T, если существует формула ϕ(~x) в Φ такая, чтоP(~x)↔ ϕ(~x) (определяющая аксиома для P(~x)).
2 Будем говорить, что функциональный символ f (~x) не из L являетсяΦ-представим в T, если существует формула ϕ(~x , y) в Φ такая, чтоT ` ∀~x∃!yϕ(~x , y) и y = f (~x)↔ ϕ(~x , y) (определяющая аксиома дляf (~x)).
ОпределениеСимвол представим в T, если он Φ-представим в T для некоторого Φ.
ПримерPrime(x)↔ 1 < x ∧ ∀y < x∀z < x(y · z 6= x).
14 / 16
![Page 40: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/40.jpg)
Представимые символы
ОпределениеПусть T — теория над языком L, а Φ — множество L-формул.
1 Будем говорить, что предикатный символ P(~x) не из L являетсяΦ-представим в T, если существует формула ϕ(~x) в Φ такая, чтоP(~x)↔ ϕ(~x) (определяющая аксиома для P(~x)).
2 Будем говорить, что функциональный символ f (~x) не из L являетсяΦ-представим в T, если существует формула ϕ(~x , y) в Φ такая, чтоT ` ∀~x∃!yϕ(~x , y) и y = f (~x)↔ ϕ(~x , y) (определяющая аксиома дляf (~x)).
ОпределениеСимвол представим в T, если он Φ-представим в T для некоторого Φ.
ПримерPrime(x)↔ 1 < x ∧ ∀y < x∀z < x(y · z 6= x).
14 / 16
![Page 41: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/41.jpg)
ОпределениеПусть T1 и T2 — две теории, такие что T1 ⊆ T2, и язык T2 может иметьфункциональные и предикатные символы не из T1. Будем называть T2консервативным расширением T1, если для каждой формулы A над языкомT1 из T2 ` A следует T1 ` A.
Теорема (Расширение представимыми символами)Если T2 получается из T1 расширением языка T1 при помощи представимыхсимволов и определяющих аксиом для этих символов, то T2 —консервативное расширение T1.
СледствиеПусть T — теория и T0 = T ⊂ T1 ⊂ . . . — последовательность расширений T,где каждая Tn+1 получается из Tn добавлением представимых символов (вязыке Tn) и их определяемых аксиом. Пусть T∞ =
⋃n≥0 Tn. Тогда T∞ —
консервативное расширение T.
15 / 16
![Page 42: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/42.jpg)
ОпределениеПусть T1 и T2 — две теории, такие что T1 ⊆ T2, и язык T2 может иметьфункциональные и предикатные символы не из T1. Будем называть T2консервативным расширением T1, если для каждой формулы A над языкомT1 из T2 ` A следует T1 ` A.
Теорема (Расширение представимыми символами)Если T2 получается из T1 расширением языка T1 при помощи представимыхсимволов и определяющих аксиом для этих символов, то T2 —консервативное расширение T1.
СледствиеПусть T — теория и T0 = T ⊂ T1 ⊂ . . . — последовательность расширений T,где каждая Tn+1 получается из Tn добавлением представимых символов (вязыке Tn) и их определяемых аксиом. Пусть T∞ =
⋃n≥0 Tn. Тогда T∞ —
консервативное расширение T.
15 / 16
![Page 43: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/43.jpg)
ОпределениеПусть T1 и T2 — две теории, такие что T1 ⊆ T2, и язык T2 может иметьфункциональные и предикатные символы не из T1. Будем называть T2консервативным расширением T1, если для каждой формулы A над языкомT1 из T2 ` A следует T1 ` A.
Теорема (Расширение представимыми символами)Если T2 получается из T1 расширением языка T1 при помощи представимыхсимволов и определяющих аксиом для этих символов, то T2 —консервативное расширение T1.
СледствиеПусть T — теория и T0 = T ⊂ T1 ⊂ . . . — последовательность расширений T,где каждая Tn+1 получается из Tn добавлением представимых символов (вязыке Tn) и их определяемых аксиом. Пусть T∞ =
⋃n≥0 Tn. Тогда T∞ —
консервативное расширение T.
15 / 16
![Page 44: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/44.jpg)
Доказательство1 Пусть A — формула над языком T1.
2 Предположим, что T2 ` A.3 Пусть M1 — модель T1.4 Расширим модель M1 до модели M2 теории T2, интерпретируя каждый
символ так, что бы его соответствующая определяющая аксиомавыполнялась (т. е. интерпретация однозначно определяется аксиомами).
5 Так как M2 — это модель T2, а значит M2 |= A.6 Следовательно M1 |= A.7 Так как M1 — произвольная модель T1, то T1 ` A.
16 / 16
![Page 45: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/45.jpg)
Доказательство1 Пусть A — формула над языком T1.2 Предположим, что T2 ` A.
3 Пусть M1 — модель T1.4 Расширим модель M1 до модели M2 теории T2, интерпретируя каждый
символ так, что бы его соответствующая определяющая аксиомавыполнялась (т. е. интерпретация однозначно определяется аксиомами).
5 Так как M2 — это модель T2, а значит M2 |= A.6 Следовательно M1 |= A.7 Так как M1 — произвольная модель T1, то T1 ` A.
16 / 16
![Page 46: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/46.jpg)
Доказательство1 Пусть A — формула над языком T1.2 Предположим, что T2 ` A.3 Пусть M1 — модель T1.
4 Расширим модель M1 до модели M2 теории T2, интерпретируя каждыйсимвол так, что бы его соответствующая определяющая аксиомавыполнялась (т. е. интерпретация однозначно определяется аксиомами).
5 Так как M2 — это модель T2, а значит M2 |= A.6 Следовательно M1 |= A.7 Так как M1 — произвольная модель T1, то T1 ` A.
16 / 16
![Page 47: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/47.jpg)
Доказательство1 Пусть A — формула над языком T1.2 Предположим, что T2 ` A.3 Пусть M1 — модель T1.4 Расширим модель M1 до модели M2 теории T2, интерпретируя каждый
символ так, что бы его соответствующая определяющая аксиомавыполнялась (т. е. интерпретация однозначно определяется аксиомами).
5 Так как M2 — это модель T2, а значит M2 |= A.6 Следовательно M1 |= A.7 Так как M1 — произвольная модель T1, то T1 ` A.
16 / 16
![Page 48: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/48.jpg)
Доказательство1 Пусть A — формула над языком T1.2 Предположим, что T2 ` A.3 Пусть M1 — модель T1.4 Расширим модель M1 до модели M2 теории T2, интерпретируя каждый
символ так, что бы его соответствующая определяющая аксиомавыполнялась (т. е. интерпретация однозначно определяется аксиомами).
5 Так как M2 — это модель T2, а значит M2 |= A.
6 Следовательно M1 |= A.7 Так как M1 — произвольная модель T1, то T1 ` A.
16 / 16
![Page 49: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/49.jpg)
Доказательство1 Пусть A — формула над языком T1.2 Предположим, что T2 ` A.3 Пусть M1 — модель T1.4 Расширим модель M1 до модели M2 теории T2, интерпретируя каждый
символ так, что бы его соответствующая определяющая аксиомавыполнялась (т. е. интерпретация однозначно определяется аксиомами).
5 Так как M2 — это модель T2, а значит M2 |= A.6 Следовательно M1 |= A.
7 Так как M1 — произвольная модель T1, то T1 ` A.
16 / 16
![Page 50: Логические основы теории сложности ...smal/files/smal_lfpc2.pdfАрифметика Пеано Определение ТеорияPA (PeanoArithmetic)содержитаксиомыB1,](https://reader033.vdocument.in/reader033/viewer/2022042321/5f0ad7c97e708231d42d9c7d/html5/thumbnails/50.jpg)
Доказательство1 Пусть A — формула над языком T1.2 Предположим, что T2 ` A.3 Пусть M1 — модель T1.4 Расширим модель M1 до модели M2 теории T2, интерпретируя каждый
символ так, что бы его соответствующая определяющая аксиомавыполнялась (т. е. интерпретация однозначно определяется аксиомами).
5 Так как M2 — это модель T2, а значит M2 |= A.6 Следовательно M1 |= A.7 Так как M1 — произвольная модель T1, то T1 ` A.
16 / 16