4 papers
Bi-Colored Expansions of Geometric Theories
Somayye Jalili, Mohsen Khani, Massoud Pourmahdian
This paper concerns the study of Bi-colored expansions of geometric theories in the light of the Fraïssé-Hrushovski construction method. Substructures of models of a geometric theo…
Continuous integration logic
Seyed-Mohammad Bagheri, Massoud Pourmahdian
We combine continuous and integral logics and found a logical framework for metric measure spaces equipped with a family of continuous relations and operations. We prove the ultrap…
Probability Logic: A Model Theoretic Perspective
Massoud Pourmahdian, Reihane Zoghifard
In this paper (propositional) probability logic () is investigated from model theoretic point of view. First of all, the ultraproduct construction is adapted for -additive p…
On Some Properties of Shelah Cardinals
Ali Sadegh Daghighi, Massoud Pourmahdian
We present several results concerning Shelah cardinals.