activity
20102026
most citedFrom rational Godel logic to continuous ultrametric logic

4 citations · 8 across the 18 of their papers we have counts for

collaborators
Showing 2019Show all

2 papers · 1 filter

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.LO2019★ 1 cited

Strict Superstablity and Decidability of Certain Generic Graphs

Ali N. Valizadeh, Massoud Pourmahdian

We show that the Hrushovski-\fraisse limit of certain classes of trees lead to strictly superstable theories of various U-ranks. In fact, for each we int…