3 papers
math.LO2019
The isomorphism theorem for linear fragments of continuous logic
Seyed-Mohammad Bagheri
The ultraproduct construction is generalized to -ultramean constructions () by replacing ultrafilters with finitely additive measures. These constructions c…
math.LO2019
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…
math.LO2015
Eberlein-Smulian compactness and Kolmogorov extension theorems; a model theoretic approach
Seyed-Mohammad Bagheri, Karim Khanaki
This paper has two parts. First, we complete the proof of the Kolmogorov extension theorem for unbounded random variables using compactness theorem of integral logic which was prov…