Семинар за математичку логику, 23. децембар 2022.

• 16. Децембар, 2022
• Коментари (0)

Наредни састанак Семинара биће одржан у петак, 23. децембра 2022, са почетком 16.15 у сали 301ф Математичког института САНУ.

Предавач: Предраг Тановић, Математички институт САНУ
 
Наслов предавања: ВОТОВА ХИПОТЕЗА ЗА ТЕОРИЈЕ ДИСКРЕТНО УРЕЂЕНИХ СТРУКТУРА
 
Апстракт: Линеарно уређење је дискретно ако сваки елемент, осим најмањег уколико такав постоји,  има непосредног следбеникаи сваки елемент, осим највецег уколико постоји, има непосредног претходника. Примери су уређењи цели и природни бројеви. Дискретно уређене структуре су оне које се могу добити додавањем (ма каквих) релација и функција дискретном уређењу. Оригинална Вотова хипотеза тврди да свака потпуна пребројива теорија првог реда има или највисе пребројиво много, или континуум неизоморфних пребројивих модела. На предавању цу с­кицирати три доказа за слуцај када је $T$ потпуна теорија дискретно уређених структура. Из једног од доказа, заснованом на раду Дејана Илица, се природно намеце питање максималности Борелове слозености релације изоморфизма пребројивих модела теорије $T$:
Питање. Да ли је $T$ Бореловски потпуна?
Одговор на ово питање није познат.
 
Напомена: Предавања на Семинару можете уживо пратити преко линка https://miteam.mi.sanu.ac.rs/asset/iYxPidYtFqBC9sT7a
Уколико желите и да учествујете у дискусији, неопходна је регистрација на следећем линку https://miteam.mi.sanu.ac.rs/asset/oaqCm4EyPhHR6kM6N