
MASOUD POURMAHDIAN Associate Professor








 Masoud Pourmahdian, Nazanin Roshandel Tavana, Farzad Didehvar, "Effective metric model theory," Mathematical Structures In Computer Science, Vol. 25, No. 8, PP. 1779  1798, 11 December 2015.
 Mahdi Aliakbari, Masoud Pourmahdian, "COMPUTATIONAL MODELS OF CERTAIN HYPERSPACES OFQUASIMETRIC SPACES," Logical Methods In Computer Science, Vol. 7, No. 4, PP. 1  25, 26 October 2011.
 Nazanin Roshandel, Masoud Pourmahdian, Farzad Didehvar, "Compactness in First Order Lukasiewicz Logic," Logic Journal Of The Igpl, Vol. 0, No. 0, PP. 0  0, 07 September 2011.
 S.m.bagheri, Masoud Pourmahdian, "Omitting Types in an Intermediate Logic," Studia Logica, Vol. 97, No. 3, PP. 319  328, 03 April 2011.
 Farzad Didehvar, Kaveh Ghasemlou, Masoud Pourmahdian, "Effectiveness in RPL, with applications to continuous logic," Annals Of Pure And Applied Logic, Vol. 161, No. 6, PP. 788  799, 02 March 2010.
 Mehdi Ali Akbari, , Masoud Pourmahdian, "Any T1 space has a continuous poset model," , Vol. , No. 156, PP. 0  0, 01 August 2009.
 , Masoud Pourmahdian, "Diagram Construction in Intuitionistic Logic," , Vol. , No. 6, PP. 0  0, 01 June 2009.
 Mehdi Ali Akbari, , Masoud Pourmahdian, Morteza Mir Mohammad Rezaii, "The Space of Formal Balls and Models of QuasiMetric Spaces," , Vol. , No. 19, PP. 0  0, 01 April 2009.
 , Masoud Pourmahdian, "The Logic of Integration," , Vol. , No. 2, PP. 0  0, 01 February 2009.
 , Masoud Pourmahdian, "Elementary Amalgamation and Joint Embedding Property for Intermediate Logics," , Vol. , No. 16, PP. 0  0, 01 October 2008.
 Masoud Pourmahdian, "A simple positive Robinson theory with Lstp ? stp," , Vol. , No. 26, PP. 0  0, 01 October 2006.
 Masoud Pourmahdian, "The Stable Forking Conjecture in Homogeneous Model Theory," , Vol. , No. 3, PP. 0  0, 01 March 2004.
 Masoud Pourmahdian, "Completeness of hyperspaces of compact subsets of quasimetric spaces," Acta Mathematica Hugarica, Vol. 0, No. 0, PP. 0  0, .
 Masoud Pourmahdian, "An arithmetical view to firstorder logic," Annals Of Pure And Applied Logic, Vol. 0, No. 0, PP. 0  0, .
 Masoud Pourmahdian, "Effectiveness in RPL, with applications to continuous logic," Annals Of Pure And Applied Logic, Vol. 0, No. 0, PP. 0  0, .















 Sahar Madani, Mina Aminghafari, Masoud Pourmahdian, "," , Iran (Islamic Republic of), 11 November 2008  12 November 2008.
 Mehdi Ali Akbari, Masoud Pourmahdian, "On the compieteness of M1(x)," , Iran (Islamic Republic of), 24 August 2008  27 August 2008.
 Nazanin Roshandel, Masoud Pourmahdian, Farzad Didehvar, "K compactness in the first order fuzzy logics," , Iran (Islamic Republic of), 24 August 2008  27 August 2008.
 Masoud Pourmahdian, "Domain theoretic proofs for some fixed point theorems," , Iran (Islamic Republic of), 23 April 2008  24 April 2008.















PhD Students Projects:

 Sharar Ahmadi, Mehrans. Fallah, Masoud Pourmahdian, "", PhD, 06 February 2018.
 Reihane Zoghi Fard, Masoud Pourmahdian , "", PhD, 16 October 2017.
 Ali Sadegh Daghighi, Masoud Pourmahdian , "", PhD, 19 September 2017.
 Seyed Mohammad Amin Khatami, Masoud Pourmahdian , "", PhD, 09 August 2015.
 Ali Mahmoudifar, Behrooz Khosravi, Masoud Pourmahdian, "", PhD, 30 September 2014.
 Nazanin Roshandel, Masoud Pourmahdian, Farzad Didehvar, "", PhD, 11 September 2011.
 Fateme Mohammadi, Dariush Kiani, Masoud Pourmahdian, "", PhD, 16 September 2009.

MSc Students Projects:

 Ramin Soleymani, Masoud Pourmahdian , "Topological Interpretations Of Provability Logic ", MSc, 18 October 2017.
 Rahman Mohammadpour, Masoud Pourmahdian , "The Modal Logic of Forcing", MSc, 05 September 2015.
 Younes Ahmadi, Masoud Pourmahdian , "Topics in model theory of modal logic", MSc, 17 February 2015.
 Mohammad Javad Azizi Haghighi, Masoud Pourmahdian , "model theory of neighbourhood structures", MSc, 21 October 2014.
 Abolfazl Alam, Masoud Pourmahdian , "Metrically abstract elementary classes", MSc, 21 October 2013.
 Mostafa Mirabi, Masoud Pourmahdian , "Model theory of analytic Zariski structures", MSc, 21 October 2013.
 Reza Shoorabi, Masoud Pourmahdian , "some model theoretic aspects in modal logic", MSc, 18 February 2013.
 Ayda Choopani, Masoud Pourmahdian , "Justified common knowledge", MSc, 30 September 2012.
 Nima Ghanbari, Masoud Pourmahdian , "Self referential justifications in epistemic logic", MSc, 16 September 2012.
 Hamed Khalilian, Masoud Pourmahdian , "Existence of generic automorphisms for first order homogeneous structure", MSc, 07 February 2012.
 Negar Ranjbar, Masoud Pourmahdian, Farhad Rahmati, "The study of homogeneous universal partial ordered set and the exictence of its generic ", MSc, 05 February 2012.
 Ali Sadegh Daghighi, Masoud Pourmahdian , "Extending partial automorphisms in graphs and metric spaces", MSc, 08 October 2011.
 Abolfazl Hakimi Parizi, Masoud Pourmahdian , "The genesis of concept of infinity in cantors view and its proportion with paradigms of mathematics", MSc, 21 September 2011.
 Hosein Taghinejad, Farhad Rahmati, Masoud Pourmahdian, "Geometric stability theory & application of model theory to algebraic geometry", MSc, 15 February 2011.
 Hosein Pourmahdian, Masoud Pourmahdian, Farhad Rahmati, "computability in banach and measure spaces via domain theory ", MSc, 06 July 2010.
 Sahar Madani, Mina Aminghafari, Masoud Pourmahdian, "Protein function prediction using data mining techniques", MSc, 08 December 2009.
 Majadeh Pasdar, Masoud Pourmahdian, Farhad Rahmati, "lambada calculus and exact real computation", MSc, 24 November 2009.
 Ali Akbar Safilian, Farzad Didehvar, Masoud Pourmahdian, "analysis the weihrauch approach in computable analysis", MSc, 17 November 2009.
 Mohsen Khani, Masoud Pourmahdian, Farhad Rahmati, "cone and quasi metric spaces via domain theory", MSc, 26 September 2009.
 Sobhan Naraghi, Masoud Pourmahdian , "Generic1385 Stuctures and Urysohn Space", MSc, 22 July 2009.
 Fatemeh Rahbari, Masoud Pourmahdian , "Generice space & group therory", MSc, 19 November 2008.
 Sharar Ahmadi, Farzad Didehvar, Masoud Pourmahdian, "Proof complexity", MSc, 20 September 2008.
 Zaniar Ghadernezhad, Masoud Pourmahdian , "Generic Structures and Fusion of First Order Theories", MSc, 17 September 2008.
 Atefeh Keshavarzi Zafarghandi, Masoud Pourmahdian, Farzad Didehvar, "", MSc, 30 October 2007.
 Reza Mirbaqherigam, Masoud Pourmahdian , "Bounded complete models of topological spaces", MSc, 05 August 2007.
 Zoheir Eftekhari Fasaei, Masoud Pourmahdian , "On the yoneda completion of a quasi metric space", MSc, 22 July 2007.
 Seyedeh Dana Marashi, Masoud Pourmahdian , "", MSc, 02 July 2007.
 Masood Ghaemi Dizijeh, Masoud Pourmahdian , "CATEGORICITY IN EXELLENT CLASSES", MSc, 02 January 2007.
 Ila Rostaminasab, Masoud Pourmahdian , "SOLID MODELING IN DOMAIN THEORY", MSc, 29 October 2006.
 Marjan Adib, Masoud Pourmahdian , "PROBABILITY ALGEBRAS IN CONTINUOUS LOGIC", MSc, 28 October 2006.
 Ras Ool Ahangari, Masoud Pourmahdian , "Complete intersection dimension", MSc, 15 March 2006.









Courses



 
MASOUD POURMAHDIAN
Associate Professor


Department:


Department of Mathematics




