ГРУЛОВИЋ, Милан
ГРУЛОВИЋ, Милан, математичар, универзитетски професор (Нови Сад, 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.
С. Црвенковић