1.	M. Pourmahdian and N. R. Tavana Compactness in first-order Godel logics J. Logic Comput. (2012), DOI 10.1093/logcom/exs037  [abstract]

2.	M. Pourmahdian and N. R. Tavana (Joint with F. Didehvar) Effective metric model theory Math. Structures Comput. Sci. (Accepted) [abstract]

3.	M. Pourmahidan and M. Ali-Akbari Computational models of certain hyperspace of quasi-metric spaces LMCS 7 (2011), 1-25  [abstract]

4.	S. M. Bagheri and M. Pourmahdian Omitting types in an intermediate logic Studia Logica 97 (2011), 319-328  [abstract]

5.	M. Pourmahdian (Joint with M. Khani) On the metrizability of cone metric spaces Topology Appl. 158 (2011), 190-193  [abstract]

6.	M. Pourmahdian (Joint with M. Aliakbari) Completeness of hyperspaces of compact subsets of quasi-metric spaces Acta Math. Hungar. 127 (2010), 260-272  [abstract]

7.	M. Pourmahdian (Joint with F. Didehvar and K. Ghasemloo) Effectiveness in RPL, with applications to continuous logic Ann. Pure Appl. Logic 161 (2010), 709-828  [abstract]

8.	M. Pourmahdian (Joint with M. Ali-Akbari and B. Honari) Any T1 space has a continous poset model Topology Appl. (Accepted) [abstract]

9.	M. Pourmahdian (Joint with M. Ali-Akbari, B. Honari, and M. M. Rezaeii) The space of formal balls and models of quasi-metric spaces Math. Structures Comput. Sci. (Accepted) [abstract]

10.	S. M. Bagheri and M. Pourmahdian Elementary amalgamation and joint embedding property for intermediate logics Log. J. IGPL (Accepted) [abstract]

11.	S. M. Bagheri and M. Pourmahdian Diagram construction in intuitionistic logic Log. J. IGPL 16 (2006), 889-901  [abstract]

12.	M. Pourmahdian (Joint with F. Wagner) A simple positive Robinson theory with LSTP ≠ STP Lect. Notes Log. 26 (2006), 270-283  [abstract]

13.	M. Pourmahdian The stable forking conjecture in homogeneous model theory Log. J. IGPL 12 (2004), 171-180  [abstract]

14.	M. Pourmahdian Simple generic structures Ann. Pure Appl. Logic 121 (2003), 227-260  [abstract]    MR 2004d:03079

15.	M. Pourmahdian The stable forking conjecture and generic structures Arch. Math. Logic 42 (2003), 415-421  [abstract]    MR 2004e:03067

16.	M. Pourmahdian Smooth classes without AC and Robinson theories J. Symbolic Logic 67 (2002), 1274-1294  [abstract]

17.	S.S. Goncharov and M. Pourmahdian Iterated expansions of models for countable theories and their applications Algebra and Logic 34 (1995), 346-358  [abstract]    MR 98i:03045