دکتر علی ولی زاده
استادیار
گروه ریاضی محضدانشکده ریاضی و آمار
آدرس
دانشگاه اصفهان
میدان آزادی
اصفهان، ایران
کد پستی : 8174673441
لینکهای وب
علاقه مندی پژوهشی
نظریه مدل مجرد و کاربردی، تمییزپذیری نظریه های مرتبه اول، بسط و گسترش میدان اعداد حقیقی، بسط و گسترش گروه جمعی اعداد صحیح، ... ساختارهای هروشفسکی و ارتباط آنها با ترکیبیات و نظریه حدی گرافها.
منطق ریاضی و علوم کامپیوتر نظری، مدل سازی حیات و سامانه های زنده. سایرعلائق: فلسفه ریاضیات، فلسفه علم، تاریخ منطق.عضویت در انجمن ها و گروههای تحقیقاتی
عضو کمیته آموزش انجمن منطق ایران (از 1403 تا کنون) عضو انجمن منطق سمبلیک (از 2014 الی 2019 )
فعالیتهای حرفهای
منطق ریاضی و نظریه مدل ها
بروندادهای پژوهشی
مقالات لاتین
2024
Publication Date: 2024
Annals of Pure and Applied Logic (01680072)175(10)
2020
Pseudofiniteness in Hrushovski constructions
( Article . Green )
Valizadeh, A., Pourmahdian, M.
Publication Date: 2020
Notre Dame Journal of Formal Logic (00294527)61(1)pp. 1-10
2019
Valizadeh, A., Pourmahdian, M.
Publication Date: 2019
Bulletin Of The Iranian Mathematical Society (10186301)45(6)pp. 1839-1854