mlta_errata

Замеченные опечатки в лекциях по МЛТА за осень-зиму 2002 года.

Список передан И.Б.Кожухову, и в следующих версиях лекций эти опечатки уже будут исправлены.

by llama®

Где	Опечатка	Должно быть
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	Пусть – бесконечное множество и F – множество таких что Тогда F – фильтр.	F – не множество, а совокупность, т.к. любому множеству, а в F оно входить не может по определению фильтра.
log3-3: стр.2	Это и будет ультрафильтр, содержащий фильтр F.	Это и будет ультрафильтр, содержащий фильтр D.
log3-3: стр.6	и – модель для Для формулы пусть	и – модель для Для формулы пусть
Там же	По теореме 1 эту систему можно вложить в некоторый ультрафильтр D	По теореме 1 и теореме 2 эту систему можно вложить в некоторый ультрафильтр D
log3-3: стр.10	Если существует какая-нибудь модель в которой все предложения из истинны, то	Если существует какая-нибудь модель в которой все предложения из истинны, то
log4: стр.10	остановится или не остановится машина имея на сходе число	имея на входе число