Chieu-Minh Tran

activity

20242026

collaborators

6 papers

math.LO2026

On Zarankiewicz's bounds for valued vector spaces

Hongyi Gou, Mihir Mittal, Chieu-Minh Tran +1

We establish absolute and relative almost-linear Zarankiewicz bounds for semilinear relations in valued vector spaces. For every fixed arity and description complexity, a $K_{t,\ld…

math.LO2026

Categoricity without Power

Jun Le Goh, Chieu-Minh Tran

We prove an analogue of Morley's categoricity theorem where cardinality is replaced by the recursion-theoretic notion of arithmetic degree. We say that a complete arithmetically de…

math.LO2026

Large implies henselian

Will Johnson, Chieu-Minh Tran, Erik Walsberg +1

Fix a field $K$ . We show that $K$ is large if and only if some elementary extension of $K$ is the fraction field of a henselian local domain which is not a field. The proof uses a…

math.CO2025

On the shatter function of semilinear set systems

Abdul Basit, Chieu-Minh Tran

We show that the shatter function of a semilinear set system on $R^{m}$ is asymptotic to a polynomial. This confirms, for the structure $(R; +, <)$ , a conjecture of…

math.LO2025

Of model completeness and algebraic groups

Daniel Max Hoffmann, Piotr Kowalski, Chieu-Minh Tran +1

We show that if G is a split semisimple algebraic group over a model complete field K, then the groups G(K) and G(K)' (the commutator group which is a ``Chevalley group'' as for ex…

math.GR2024

Measure doubling in unimodular locally compact groups and quotients

Zuxiang Kong, Fei Peng, Chieu-Minh Tran

We consider a (possibly discrete) unimodular locally compact group $G$ with Haar measure $I^¼_{G}$ , and a compact $A \subseteq G$ of positive measure with $I^¼_{G} (A^{2}) \leq K I^¼_{G} (A)$ . Let…