3 papers
math.LO2026
Isomorphism relations on classes of c.e. algebras
Meng-Che "Turbo" Ho, Martin Ritter, Luca San Mauro
We investigate the complexity of isomorphism relations for classes of finitely generated and n-generated computably enumerable (c.e.) algebras, presented via c.e. presentations --…
math.GR2025
First-order theory of torsion-free Tarski monsters
Rémi Coulon, Francesco Fournier-Facio, Meng-Che "Turbo" Ho
We develop methods to control the first-order theory of groups arising as certain direct limits of torsion-free hyperbolic groups, answering several questions in the literature. We…
math.LO2024
Torsion-free abelian groups of finite rank and fields of finite transcendence degree
Meng-Che "Turbo" Ho, Julia Knight, Russell Miller
Let be the class of torsion-free abelian groups of rank , and let be the class of fields of characteristic and transcendence de…