2 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…