ГРУЛОВИЋ, Милан

ГРУЛОВИЋ, Милан, математичар, универзитетски професор (Нови Сад, 8. II 1949). Математичко образовање стекао у Новом Саду, где је 1971. дипломирао на Природно-математичком факултету, и Београду, где је на ПМФ магистрирао 1978. и докторирао 1984. Редован је професор ПМФ у Новом Саду од 2000. Члан је међународних научних друштава „Association for Simbolic Logic" и „American Mathematical Society", а од 1987. референт часописа Mathematical Reviews. Школску 1978/79. провео као добитник Фулбрајтове стипендије на докторским студијама Државног универзитета Висконсин у Медисону. Децембра 1987. је као гост Института за математику Академије наука ДДР одржао двосатно предавање на Хумболтовом универзитету у Берлину. Аутор је монографије Основи теорије група (Н. Сад 1997). Био је вишегодишњи члан Већа ПМФ и Већа Департмана за математику и информатику, те шеф Катедре за математичку логику и дискретну математику. У више својих радова увео је и у базичним цртама испитао генерализације Робинсоновог коначног и бесконачног форсинга (тзв. n-коначни и n-бесконачни форсинг), као и односе одговарајућих форсинг придружења за поједине теорије. Поред тога, комбиновао је методе модел-теоретског и коначног и бесконачног n-форсинга и редукованих производа (посебно ултрапроизвода) и доказао да је важење Ƚоѕ-ове теореме у функцији и језика и природе ултрафилтера. Дефинисао је класу коначних форсинг система, сваки са генеричним моделима, док је ултрапроизвод те класе за униформни ултрафилтер без њих. У радовима са М. Курилићем (и М. Курилић, „On the preservation of separation axioms in products", Commentationes Mathematicae Universitatis Carolinae, 1992, 33, 4) запажен је потребан и довољан услов за идеал и филтер да би редуковани идеал производ тополошких простора очувао (у смислу теореме Ƚоѕ-а) аксиоме сепарације Тк (к=0,1,2,3,3^1^2), а доказано да се Lt реченица очувава за редуковане производе ако и само ако је еквивалентна некој Хорнопској L2 реченици у базним структурама. У раду са А. Игњатовићем (и А. Игњатовић, „A comment on the joint embedding property", Periodica Mathematica Hungarica, 1996, 33, 1) даје се нови доказ да ниједна рекурзивно набројива екстензија ∏2-сегмента Пеанове аритметике нема својство придруженог утапања (ЈЕP).

ДЕЛА: „A Note on Forcing and Weak Interpolation Theorem for Infinitary Logics", ЗРПМФ, Сер. Мат., 1982, 12; „On n-Finite Forcing", ЗРПМФ, Сер. Мат., 1983, 13; „On n-Finite Forcing Companions", ЗРПМФ, Сер. Мат., 1984, 14, 2; „Comments on Ultraproducts of Forcing Systems", Publications de L'Institut mathématique, Nouvelle série, 2001, 69, 83; „Reduced Products of Infinite Forcing Systems", Novi Sad Journal of Mathematics, 2002, 32, 1; „A Few Remarks on n-Infinite Forcing Companions", Publications de L'Institut mathématique, Nouvelle série, 2007, 82, 96.

С. Црвенковић

*Текст је објављен у 1. књизи III тома Српске енциклопедије (2018)