Поштоване колегинице и колеге,

Задовољство ми је да вас обавестим да је 2023. године комисија у саставу
Вера Вујчић, Стево Тодорчевић, Илијас Фарах и Божидар Јовановић донела
одлуку да серијал ,,Лекције Мике Аласа'' настави своју активност и да
изабрани предавач буде Бориша Кузељевић, доцент Природно-математичког
факултета у Новом Саду.

Наслов курса је

                 ,,Увод у доказе независности''

а тема је из области теорија скупова. Кратка биографија предавача и план
курса се налазе у наставку поруке.

Прво предавање ће бити у среду 22. фебруара 2023. године у 12:15 у сали
301ф, на трећем спрату, Кнеза Михаила 36 у Београду. Уводну реч у ће дати
колега Божидар Јовановић. Предвиђено је да курс траје 13 недеља са по два
часа недељно, а састанци ће се одржавати у истом термину и сали.

Срдачан поздрав, Зоран Огњановић



                       БИОГРАФИЈА Борише Кузељевића.

Рођен је у Прибоју 1985. године, дипломирао је на основним и мастер
студијама на Математичком факултету у Београду 2009. године, а докторску
дисератацију одбранио је на Природно-математичком факултету у Новом саду
2014. године под менторством професора Милоша Курилића. Радио је на
Математичком институту САНУ као научни сарадник, на Националном
Универзитету у Сингапуру као истраживач (под менторством Дилипа
Рагхавана), као и на Математичком институту Чешке академије наука у звању
постдокторанта. Тренутно је запослен на Природно-математичком факултету у
Новом Саду у звању доцента. Његове области интересовања су теорија скупова
и топологија, као и сви проблеми који се могу сврстати у бесконачну
комбинаторику.

                  План курса „Увод у доказе независности“

Овај курс представља увод у доказе независности у теорији скупова.
Приказаћемо неке од основних резултата ове области математике, као и неке
од метода за доказивање тих тврђења. Централна идеја је да дамо комплетан
доказ независности Континуум  хипотезе, а у зависности од брзине прелажења
градива, на курсу ћемо обрадити неке од следећих тема:

1. Аксиоме теорије скупова, ординали и кардинали.
2. Колапс Мостовског и теорема реексије.
3. Канторова континуум хипотеза и Геделов конструктибилни универзум.
4. Основна теорема форсинга.
5. Независност Континуум хипотезе.
6. Независност Суслинове хипотезе.
7. Соловејев модел у ком су сви подскупови скупа реалних бројева Лебег
мерљиви.
8. Итерирани форсинг и одговарајуће форсинг аксиоме.