Одељење за математику, 2. јун 2017.

Наредни састанак Семинара биће одржан у петак, 2. јуна 2017. у сали 301ф Математичког института САНУ са почетком у 15:15 часова.

Предавач: Славко Моцоња, Математицки факултет, Београд

Наслов предавања: ПРЕБРОЈИВИ МОДЕЛИ ТЕОРИЈА ЛИНЕАРНИХ УРЕЂЕЊА

Апстракт: Чувена Вотова хипотеза, један од најстаријих отворених проблема теорије модела, тврди да је број пребројивих модела теорије првог реда (на пребројивом језику) највише пребројив или једнак континууму. Иако је познато да је хипотеза тачна у неким специјалним случајевима, општи приступ њеном решавању, ако постоји, није познат. Међу познатим примерима теорија за које важи Вотова хипотеза спадају теорије неких линеарних уређења, на пример теорије линерних уређења са унарним предикатима и о-минималне теорије. Ово предавање је посвећено једном приступу за класификацију модела теорија линерних уређења, који води до доказа Вотове хипотезе за неке шире класе теорија.