activity
20022026
most citedComputably Enumerable Equivalence Relations

73 citations · 116 across the 25 of their papers we have counts for

collaborators
Showing math.LOShow all

13 papers · 1 filter

math.LO2026

Extension properties for partial permutations

Mahmood Etedadialiabad, Su Gao

Motivated by the EPPA problem for finite tournaments,we consider various extension properties for partial permutations. We show that for any set of prime numbers, the -exten…

math.LO2026

Borel graphs generated by commuting functions

Su Gao, Xiangxi Hu, Jie Zou

In this paper we study Borel graphs generated by finitely many commuting Borel functions. We give a geometric analysis of the free part of such graphs based on marker sets and mark…

math.LO2023

The amalgamation property and Urysohn structures in continuous logic

Su Gao, Xuanzhi Ren

In this paper we consider the classes of all continuous -(pre-)structures for a continuous first-order signature . We characterize the moduli of continuit…

math.LO2020★ 8 cited

Dense locally finite subgroups of Automorphism Groups of Ultraextensive Spaces

Mahmood Etedadialiabadi, Su Gao, François Le Maître +1

We verify a conjecture of Vershik by showing that Hall's universal countable locally finite group can be embedded as a dense subgroup in the isometry group of the Urysohn space and…

math.LO2019★ 3 cited

On Extensions of Partial Isomorphisms

Mahmood Etedadialiabadi, Su Gao

In this paper we study a notion of HL-extension (HL standing for Herwig--Lascar) for a structure in a finite relational language . We give a description of all finite…

math.LO2019

The Complexity of the Classification Problems of Finite-Dimensional Continua

Cheng Chang, Su Gao

We consider the homeomorphic classification of finite-dimensional continua as well as several related equivalence relations. We show that, when , the classification probl…