date/vreme: 13/02/2023, 12:00
venue/mesto: Ogranak SANU, "Platoneum", Nikole Pašića 6, Novi Sad
Workshop/radionica: Logičko-algebarsko-diskretni susreti (LADIS) PMF&FTN@Ogranak MISANU
Speaker / Predavač
dr Dragan Mšulović, redovni profesor
Prirodno-matematički fakultet, Univerzitet u Novom Sadu
https://personal.pmf.uns.ac.rs/masul/ (home page)
Title / Naslov:
Strukturna Remzijeva teorija – Pogled iz perspektive teorije kategorija
Abstract / Sažetak:
Ремзијева теорија је једна од само неколико математичких теорија чији домет сеже од елементарних проблема који се могу демонстрирати већ средњошколцима, до разних изненађујуће суптилних примена у математичкој логици, теорији скупова, коначној комбинаторици и тополошкој динамици. Успешна генерализација Ремзијеве теореме са скупова (неструктуираних објеката) на кардинале (посебне добро уређене ланце) довела је раних 1970-их до уопштавања основних идеја Ремзијеве теорије на произвољне структуре првог реда, и тако је настала структурна Ремзијева теорија.
Занимљиво је да је један од првих свеобухватних текстова из домена структурне Ремзијеве теорије, Лебова књига „Vorlesungen über Pascaltheorie“ из 1973. године, представљена језиком теорије категорија. Нажалост, овај поглед на структурну Ремзијеву теорију је већ крајем 1980-их нестао из фокуса истраживачке заједнице и замењен је модел-теоретским приступом који и данас представља доминантан језик стуктурне Ремзијеве теорије.
У овом излагању представићемо низ аргумената за „повратак коренима“ и покушати да понудимо одговор на питање које је, углавном у неформалним дискусијама, излагачу често упућивано: „Зашто, побогу, теорија категорија?“