Наредни састанак Семинара биће одржан у петак, 14. марта 2025. године, у сали 301ф Математичког института САНУ са почетком у 14.15. У питању је заједнички састанак са Семинаром за логику.
Предавач: Славко Моцоња,Универзитет у Београду-Математички факултет
Наслов предавања: ВОТОВА И МАРТИНОВА ХИПОТЕЗА ЗА ТЕОРИЈЕ ЛИНЕАРНИХ УРЕЂЕЊА
Апстракт: Вотова хипотеза тврди да потпуна теорија првог реда на пребројивом језику, до на изоморфизам и независно од континуум хипотезе, има или највише пребројиво много или континуум много пребројивих модела. Мартинова хипотеза је јаче тврђење које каже да под условом да теорија има мање од континуум много пребројивих модела, онда је L_1(T)-теорија сваког пребројивог модела пребројиво категорична, где је L_1(T) најмањи пребројив фрагмент L_{𝜔_1,𝜔} који садржи фрагмент првог реда и коњункције потпуних типова у Т. На предавању ћемо дати преглед резултата који иду у прилог ове две хипотезе; приказаћемо и новије резултате за слабо о-минималне теорије из заједничног истраживања са Предрагом Тановићем.
Напомена: Предавање се може пратити на даљину преко линка Одељења за математику:
https://miteam.mi.sanu.ac.rs/asset/WbsehnSL4ZeTPJo6r