mlta_errata

Где

Опечатка

Должно быть

log1-1: стр.1

Подсловом этого слова мы называем всякое слово вида

всякое слово вида

log1-1: стр.3

Секвенцияяи мы будем называть

Секвенциями

log1-1: стр.3

(2)

(2)

log1-1: стр.4

8.

8.

log1-1: стр.4

Лемма 2. Если секвенция доказуема

Нет определения доказуемости

log1-1: стр.5

а)

б)

Одно и то же

log1-1: стр.8

(9) (из (7) и (3) по правилу );

(9) (из (7) и (3) по правилу );

log1-2: стр.3

и – пропозициональные переменные, входящие в какие-либо из формул секвенция истинна на наборе

Секвенция

log1-2: стр.11

что существует квазивывод и квазивывод

log1-2: стр.15

Значит, все выводимые в ИИВ формулы тождественно истинны (и трёхзначной логике).

(в трёхзначной логике).

log2-1: стр.3 (док-во т. Шредера-Бернштейна)

Пусть Так как и то

Пусть Так как и то

Там же

log2-1: стр.6

log2-1: стр.8

Теорема.

Теорема 5.

log2-2: стр.3

Пусть Положим

log2-2: стр.4

Надо доказать, что Пусть и

log2-2: стр.6

каждая цепь в Г имеет мажоранту, Отсюда следует по лемме Цорна

каждая цепь в имеет мажоранту. Отсюда следует по лемме Цорна

log2-3: стр.4

Пусть – некоторое свойство ординальных чисел. Предположим, что наименьший ординал 0обладает

ординал обладает

log2-3: стр.5

Так как то поэтому

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

log2-3: стр.6

гипотезой континуума (comninuum hypothesa).

continuum

log3-3: стр.1

1. Пусть – бесконечное множество и F – множество таких что Тогда F – фильтр.

F – не множество, а совокупность, т.к. любому множеству, а в F оно входить не может по определению фильтра.

log3-3: стр.2

Это и будет ультрафильтр, содержащий фильтр F.

Это и будет ультрафильтр, содержащий фильтр D.

log3-3: стр.6

и – модель для Для формулы пусть

и – модель для Для формулы пусть

Там же

По теореме 1 эту систему можно вложить в некоторый ультрафильтр D

По теореме 1 и теореме 2 эту систему можно вложить в некоторый ультрафильтр D

log3-3: стр.10

Если существует какая-нибудь модель в которой все предложения из истинны, то

Если существует какая-нибудь модель в которой все предложения из истинны, то

log4: стр.10

остановится или не остановится машина имея на сходе число

имея на входе число