4 citations · 8 across the 18 of their papers we have counts for
Showing 2015Show all
3 papers · 1 filter
math.LO2015
Definable tree property for successors of cardinals
Ali Sadegh Daghighi, Massoud Pourmahdian
It is proved that the consistency strength of having definable tree property for successors of all regular cardinals is the consistency strength of having proper class many small l…
math.LO2015
Automorphism Groups of Generic Structures: Extreme Amenability and Amenability
Zaniar Ghadernezhad, Hamed Khalilian, Massoud Pourmahdian
We investigate correspondences between extreme amenability and amenability of automorphism groups of Fraïssé-Hrushovski generic structures that are obtained from smooth classes, an…
math.LO2015
Additive Gödel Logic
Seyed Mohammad Amin Khatami
We study an extension of \g propositional logic whose corresponding algebra is an ordered Abelian group. Then we expand the ideas to first-order case of this logic.