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

Аксиомы равенства
Повышение мощности
Полные теории

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

---

---