Языки и исчисления



купить мдф плиту | quick deck |

Глава 12


Аксиомы равенства
Аксиомы равенства - часть 2
Аксиомы равенства - часть 3
Повышение мощности
Повышение мощности - часть 2
Повышение мощности - часть 3
Повышение мощности - часть 4
Полные теории
Полные теории - часть 2
Полные теории - часть 3
Плотные линейно упорядоченные множества
Теория Th(Q,=,<,+,0,1)
Теория Th(Z,=,<,S,0)
Теория Th(Q,=,<,+,0,1)
Арифметика Пресбургера
Алгебраически замкнутые поля характеристики 0
Вещественно замкнутые поля



Содержание