Laboratory of Mathematical Logic at PDMI

Пятница, 25 октября, комната 106. Начало в 16:00.

Докладчик: А. Бовыкин.

БЛЕСТЯЩИЕ МОДЕЛИ (ПОЛУЧАЮЩИЕСЯ ИЗ АРИФМЕТИЗОВАННОЙ ТЕОРЕМЫ О ПОЛНОТЕ)
(продолжение)
Доклад будет посвящен "блестящим" моделям теории первого порядка. Модель M теории T в языке L называется блестящей, если ее можно расширить до модели любого утверждения F в языке L\cup\{R_1,...,R_n\} с параметрами \vec{a} из M, совместного с Th(M,\vec{a}). Слушателям покажут блестящие плотные порядки, блестящие случайные графы и другие блестящие структуры.
Предыдущий доклад (18 октября) был посвящен введению в теорию моделей.