Семинар за алгебру, математичку логику и теорију бројева

Време и место: Среда, 29. април у 12:15 у сали 844

Предавач: Ilijas Farah, Универзитет Јорк, Торонто

Наслов предавања: Производи, редуковани производи и ултрапроизводи (I)

Сажетак: На овом предавању ћемо проучавати важне конструкције масивних модела у теорији модела: директне производе, редуковане производе и ултрапроизводе. Видећемо како се теорија (првог реда) добијеног модела може израчунати из теорија полазних модела (преко Лошове теореме), и чему ове конструкције служе у теорији модела и ван ње. То ће нам пружити прилику да природно дефинишемо и проучимо и засићене моделе.

Предавање је пре свега намењено студентима и трудићемо се да га испричамо на начин који не захтева посебна предзнања.

Најаву предавања и више информација о Семинару можете пронаћи на страници Семинара:

https://aml.matf.bg.ac.rs/?str=seminar