Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Логика \ Исчисление предикатов \ Примеры теорий первого порядка \ Примеры теорий первого порядка (Кейслер Г. Дж., Чэн Ч. Ч.) \
 

9.6.2.4.3.1.1. Теории частичного
и линейного порядков

Начало см. здесь.
Кейслер Г. Дж., Чэн Ч.Ч.
Теория моделей.
Пер. с англ., М.: Мир, 1977, cc. 52 — 65.
"Содержательную" теорию частичных порядков см. здесь и здесь.
Популярное объяснение смысла кванторов всеобщности и существования см. здесь.
Продолжение см. здесь.