Языки и исчисления
ВведениеВысказывания и операции
Полные системы связок
Схемы из функциональных элементов
Исчисление высказываний
Исчисление высказываний (ИВ)
Второе доказательство теоремы о полноте
Поиск контрпримера и исчисление секвенций
Интуиционистская пропозициональная логика
Языки и исчисления
Языки первого порядкаФормулы и интерпретации
Определение истинности
Выразимые предикаты
Языки и исчисления
Выразимость в арифметике
Невыразимые предикаты: автоморфизмы
Элиминация кванторов: элиминация кванторов
Языки и исчисления
Арифметика ПресбургераТеорема Тарского-Зайденберга
Элементарная эквивалентность
Игра Эренфойхта
Понижение мощности
Общезначимые формулы
Аксиомы и правила вывода
Корректность исчисления предикатов
Языки и исчисления
Примеры выводимых формулВыводимость из посылок
Переменные и константы
Полнота исчисления предикатов
Переименование переменных
Предваренная нормальная форма
Теорема Эрбрана
Сколемовские функции
Языки и исчисления
Аксиомы равенстваПовышение мощности
Полные теории
Плотные линейно упорядоченные множества
Теория Th(Q,=,,+,0,1)
Теория Th(Z,=,,S,0)
Алгебраически замкнутые поля характеристики 0
Вещественно замкнутые поля
Языки и исчисления
Неполные и неразрешимые теорииТеория равенства
Теория полугрупп
Формальная арифметика
Диаграммы и расширения
Ультрафильтры и компактность
Нестандартный анализ
