MASOUD POURMAHDIAN - Amirkabir University of Technology

Supervised PhD Theses

#

Thesis title

By

Date

1

NIP and NTP_{2} in generic and coloured expansion of hrushovski constructions

SOMAYE JALILI GALEH

2025 Jan

Supervised MSc Theses

#

Thesis title

By

Date

1

Model theory of pair of structures

SEYEDEH FATEMEH HEJAZINEZHAD

2024 Sep

2

Model Theory of One-Dimensional Asymptotic Classes

FATEME PEIMANY
Other Supervisor: NAZANIN ROSHANDEL TAVANA

2023 Jul

3

Almost sure Theories in First Order Logic and its extensions

ZAHRA MOHAMMADI KHANGHESHLAGHI
Other Supervisor: NAZANIN ROSHANDEL TAVANA

2023 Mar

4

model theory of valued difference field

BAHAREH BAHARINEZHAD

2021 Apr

5

Topic of cardinal arithmetic

ZAKIEH ZAKERY

2020 Jul

6

non locality in quantum information theory

HAMID REZA SAADI
Other Supervisor: NAZANIN ROSHANDEL TAVANA

2020 Jul

7

FRAISSE LIMITS OF C*-ALGEBRAS

MORTEZA NADERI
Other Supervisor: NAZANIN ROSHANDEL TAVANA

2020 Jun

8

model theory of algebraically closed valued fields

YASMIN TOUSINEZHAD

2019 Sep

9

Frass construction in continuous logic

FAEZEH SAFAEE & NAZANIN ROSHANDEL TAVANA
Other Supervisor:

2019 Feb

10

pseudofinite structures and simplicity

POUYAN GOUDARZI

2018 Oct

11

Topological Interpretations Of Provability Logic

RAMIN SOLEYMANI

2017 Oct

12

The Modal Logic of Forcing

RAHMAN MOHAMMADPOUR

2015 Sep

13

Topics in model theory of modal logic

YOUNES AHMADI

2015 Feb

14

model theory of neighbourhood structures

MOHAMMAD JAVAD AZIZI HAGHIGHI

2014 Oct

15

Metrically abstract elementary classes

ABOLFAZL ALAM

2013 Oct

16

Model theory of analytic Zariski structures

MOSTAFA MIRABI

2013 Oct

17

some model theoretic aspects in modal logic

REZA SHOORABI

2013 Feb

18

Self referential justifications in epistemic logic

NIMA GHANBARI

2012 Sep

19

Justified common knowledge

AYDA CHOOPANI

2012 Sep

20

The study of homogeneous universal partial ordered set and the exictence of its generic

NEGAR RANJBAR
Other Supervisor: FARHAD RAHMATI

2012 Feb

21

Existence of generic automorphisms for first order homogeneous structure

HAMED KHALILIAN

2012 Feb

22

Extending partial automorphisms in graphs and metric spaces

ALI SADEGH DAGHIGHI

2011 Oct

23

The genesis of concept of infinity in cantors view and its proportion with paradigms of mathematics

ABOLFAZL HAKIMI PARIZI

2011 Sep

24

Geometric stability theory & application of model theory to algebraic geometry

HOSEIN TAGHINEJAD & FARHAD RAHMATI
Other Supervisor:

2011 Feb

25

computability in banach and measure spaces via domain theory

HOSEIN POURMAHDIAN
Other Supervisor: FARHAD RAHMATI

2010 Jul

26

Protein function prediction using data mining techniques

SAHAR MADANI & Mina Aminghafari
Other Supervisor:

2009 Dec

27

lambada calculus and exact real computation

MAJADEH PASDAR
Other Supervisor: FARHAD RAHMATI

2009 Nov

28

analysis the weihrauch approach in computable analysis

ALI AKBAR SAFILIAN & Farzad Didehvar
Other Supervisor:

2009 Nov

29

cone and quasi metric spaces via domain theory

MOHSEN KHANI
Other Supervisor: FARHAD RAHMATI

2009 Sep

30

Generic1385 Stuctures and Urysohn Space

SOBHAN NARAGHI

2009 Jul

31

Generice space & group therory

FATEMEH RAHBARI

2008 Nov

32

Generic Structures and Fusion of First Order Theories

ZANIAR GHADERNEZHAD

2008 Sep

33

Proof complexity

SHARAR AHMADI & Farzad Didehvar
Other Supervisor:

2008 Sep

34

Bounded complete models of topological spaces

REZA MIRBAQHERIGAM

2007 Aug

35

On the yoneda completion of a quasi metric space

ZOHEIR EFTEKHARI FASAEI

2007 Jul

36

CATEGORICITY IN EXELLENT CLASSES

MASOOD GHAEMI DIZIJEH

2007 Jan

37

SOLID MODELING IN DOMAIN THEORY

ILA ROSTAMINASAB

2006 Oct

38

PROBABILITY ALGEBRAS IN CONTINUOUS LOGIC

MARJAN ADIB

2006 Oct

39

Complete intersection dimension

RAS OOL AHANGARI

2006 Mar

40

Stochastic processes: A computable approach

FATEMEH ASGARI

2025 Mar

Books

#

Title

Author(s)

Publisher country

publication date

version

1

Logic around the World: On the Occasion of 5th Annual Conference of the Iranian Association for Logic /

M. Pourmahdian, A. Sadegh Daghighi

Iran

1

Journal Papers

1

S. Jalili Galeh, M. Pourmahdian, N. Roshandel Tavana, "Generic expansions of geometric theories", Journal of Symbolic Logic, 2024 Apr vol. 0, no. 0, pp.1-22, 2024.

2

N. Roshandel Tavana, M. Pourmahdian, S.m.khatami, "The Craig interpolation property in first-order G?del logic", Fuzzy Sets and Systems, 2024 Apr vol. 485, no. 0, pp.1-10, 2024.

3

M. Pourmahdian, Reihaneh Zoghifard, "Probability logic: A model-theoretic perspective", Journal of Logic and Computation, 2021 Mar vol. 131, no. 2, pp.393-415, 2021.

4

A. Valizadeh, M. Pourmahdian, "Pseudofiniteness in Hrushovski Constructions", Notre Dame Journal of Formal Logic, 2020 Dec vol. 61, no. 1, pp.1-10, 2020.

5

A. Valizadeh, M. Pourmahdian, "Strict Superstablity and Decidability of Certain Generic Graphs", Bulletin of The Iranian Mathematical Society, 2019 Dec vol. 45, no. 6, pp.1839-1854, 2019.

6

S. Ahmadi, M. Fallah, M. Pourmahdian, "On the Properties of Epistemic and Temporal Epistemic Logics of Authentication", Informatica, 2019 Nov vol. 43, no. 0, pp.161-175, 2019.

7

Mohammad Amin Khatami, M. Pourmahdian, "contiuous logic", , 2019 Aug vol. 19, no. 1, pp.89-120, 2019.

8

M. Pourmahdian, A. Sadegh Daghighi, "On Some Properties of Shelah Cardinals", Bulletin of The Iranian Mathematical Society, 2018 Oct vol. 44, no. 5, pp.1117-1124, 2018.

9

Zaniar Ghadernezhad, Hamed Khalilian, M. Pourmahdian, "Automorphism groups of generic structures: extreme amenability and amenability", Fundamenta Mathematicae, 2018 Apr vol. 242, no. 0, pp.1-23, 2018.

10

M. Pourmahdian, R. Zoghi Fard, "First-Order Modal Logic: Frame Definability and a Lindstr?m Theorem", Studia Logica, 2017 Aug vol. 106, no. 4, pp.699-720, 2017.

11

A. Sadegh Daghighi, M. Pourmahdian, "The Definable Tree Property for Successors of Cardinals", Archive For Mathematical Logic, 2017 Jun vol. 55, no. 5, pp.785-798, 2017.

12

S.M.A. Khatami, M. Pourmahdian, N. Roshandel Tavana, "From rational Godel logic to ultrametric logic", Journal of Logic and Computation, 2016 Oct vol. Vol 26, no. 5, pp.1743-1767, 2016.

13

M. Pourmahdian, Nazanin Roshandel Tavana, F. Didehvar, "Effective metric model theory", Mathematical Structures In Computer Science, 2015 Dec vol. 25, no. 8, pp.1779-1798, 2015.

14

S.M.A. Khatami, M. Pourmahdian, "On the compactness property of extensions of first-order Godel logic", Iranian Journal of Fuzzy Systems, 2015 Aug vol. 12, no. 4, pp.101-121, 2015.

15

M. Pourmahdian, N. R. Tavana, "Compactness in First order Godel logics", Journal of Logic and Computation, 2013 Jun vol. 23, no. 3, pp.473-485, 2013.

16

Mahdi Aliakbari, M. Pourmahdian, "COMPUTATIONAL MODELS OF CERTAIN HYPERSPACES OF QUASI-METRIC SPACES", Logical Methods In Computer Science, 2011 Oct vol. 7, no. 4, pp.1-25, 2011.

17

N. Roshandel, M. Pourmahdian, F. Didehvar, "Compactness in First Order Lukasiewicz Logic", Logic Journal of The Igpl, 2011 Sep vol. 0, no. 0, , 2011.

18

S.m.bagheri, M. Pourmahdian, "Omitting Types in an Intermediate Logic", Studia Logica, 2011 Apr vol. 97, no. 3, pp.319-328, 2011.

19

F. Didehvar, Kaveh Ghasemlou, M. Pourmahdian, "Effectiveness in RPL, with applications to continuous logic", Annals of Pure and Applied Logic, 2010 Mar vol. 161, no. 6, pp.788-799, 2010.

20

M. Ali Akbari, , M. Pourmahdian, "Any T1 space has a continuous poset model", Topology and Its Applications, 2009 Aug vol. , no. 156, , 2009.

21

M. Pourmahdian, "Diagram Construction in Intuitionistic Logic", , 2009 Jun vol. , no. 6, , 2009.

22

M. Ali Akbari, , M. Pourmahdian, M. Mir Mohammad Rezaii, "The Space of Formal Balls and Models of Quasi-Metric Spaces", Mathematical Structures In Computer Science, 2009 Apr vol. , no. 19, , 2009.

23

M. Pourmahdian, "The Logic of Integration", Archive For Mathematical Logic, 2009 Feb vol. , no. 2, , 2009.

24

M. Pourmahdian, "Elementary Amalgamation and Joint Embedding Property for Intermediate Logics", Logic Journal of The Igpl, 2008 Oct vol. , no. 16, , 2008.

25

M. Pourmahdian, "A simple positive Robinson theory with Lstp ? stp", , 2006 Oct vol. , no. 26, , 2006.

26

M. Pourmahdian, "The Stable Forking Conjecture in Homogeneous Model Theory", , 2004 Mar vol. , no. 3, , 2004.

27

M. Pourmahdian, "Completeness of hyperspaces of compact subsets of quasi-metric spaces", Acta Mathematica Hugarica, vol. 0, no. 0, , .

Taught Courses

#

Course title

Description

Headlines

Date

1

Introduction to the Theory of Computation

4051

2

Introduction to Logic & Set Theory

4042

3

Theory of Computation

4032

4

Theory of Computation

4032

5

Introduction to the Theory of Computation

4031