Одељење за математику, 23. децембар 2011.

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

Наредно предавање на Одељењу за математику одржаће се у петак, 23. децембра 2011. у 14h, у сали 301ф, МИ САНУ.

Предавач: Драган Додер, Машински факултет Универзитета у Београду

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

Садржај: У предавању ће бити приказана два општа приступа којима се показује да за скупове описиве неким од теорија и формула инфинитарне логике важи континуум хипотеза. У првом делу предавања презентоваће се једноставан начин за кодирање разних појмова, пре свега пребројивих структура и неких комбинаторних проблема, у инфинитарни исказни рачун. Тиме се на униформан начин, коришћењем теореме о савршеном подскупу, показује да за скупове које описујемо важи континуум хипотеза. Примери су теореме Рејеса,  Кукера, Буриса и Квајтинеца, број линеарних проширења парцијално уређеног пребројивог скупа, простор Зариског и неки комбинаторни појмови. У другом делу предавања показаће се да за број валуација пребројивих модела пребројивог језика важи континуум хипотеза. Исти резултат важи и за ширу класу модела, уз услов пројективне детерминисаности.