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