On the metrizability of cone metric spaces M Khani, M Pourmahdian Topology and its Applications 158 (2), 190-193, 2011 | 76 | 2011 |
The space of formal balls and models of quasi-metric spaces M Ali-Akbari, B Honari, M Pourmahdian, MM Rezaii Mathematical Structures in Computer Science 19 (2), 337-355, 2009 | 46 | 2009 |
The logic of integration SM Bagheri, M Pourmahdian Archive for Mathematical Logic 48, 465-492, 2009 | 17 | 2009 |
Simple generic structures M Pourmahdian Annals of Pure and Applied Logic 121 (2-3), 227-260, 2003 | 17 | 2003 |
First-order modal logic: frame definability and a Lindström theorem R Zoghifard, M Pourmahdian Studia Logica 106, 699-720, 2018 | 12 | 2018 |
Smooth classes without AC and Robinson theories M Pourmahdian The Journal of Symbolic Logic 67 (4), 1274-1294, 2002 | 10 | 2002 |
Automorphism groups of generic structures: extreme amenability and amenability Z Ghadernezhad, H Khalilian, M Pourmahdian arXiv preprint arXiv:1508.04628, 2015 | 9 | 2015 |
Any T1 space has a continuous poset model M Ali-Akbari, B Honari, M Pourmahdian Topology and its Applications 156 (13), 2240-2245, 2009 | 9 | 2009 |
Effectiveness in RPL, with applications to continuous logic F Didehvar, K Ghasemloo, M Pourmahdian Annals of Pure and Applied Logic 161 (6), 789-799, 2010 | 8 | 2010 |
Compactness in first order Łukasiewicz logic NR Tavana, M Pourmahdian, F Didehvar Logic Journal of the IGPL 20 (1), 254-265, 2012 | 6 | 2012 |
From rational Gödel logic to ultrametric logic SMA Khatami, M Pourmahdian, NR Tavana Journal of Logic and Computation 26 (5), 1743-1767, 2016 | 5 | 2016 |
Completeness of hyperspaces of compact subsets of quasi-metric spaces M Ali-Akbari, M Pourmahdian Acta Mathematica Hungarica 127, 260-272, 2010 | 5 | 2010 |
The definable tree property for successors of cardinals AS Daghighi, M Pourmahdian Archive for Mathematical Logic 55 (5), 785-798, 2016 | 4 | 2016 |
The stable forking conjecture and generic structures M Pourmahdian Archive for Mathematical Logic 42 (5), 415-421, 2003 | 4 | 2003 |
On the properties of epistemic and temporal epistemic logics of authentication S Ahmadi, MS Fallah, M Pourmahdian Informatica 43 (2), 2019 | 3 | 2019 |
Effective metric model theory M Pourmahdian, NR Tavana, F Didehvar Mathematical Structures in Computer Science 25 (8), 1779-1798, 2015 | 3 | 2015 |
Compactness in first-order Gödel logics M Pourmahdian, NR Tavana Journal of Logic and Computation 23 (3), 473-485, 2012 | 3 | 2012 |
Model theory of simple theories M Pourmahdian | 3 | 1999 |
Some model theoretic properties of non-AC generic structures AN Valizadeh, M Pourmahdian arXiv preprint arXiv:1606.05750, 2016 | 2 | 2016 |
Omitting types in an intermediate logic SM Bagheri, M Pourmahdian Studia Logica, 319-328, 2011 | 2 | 2011 |