3 citations · 4 across the 12 of their papers we have counts for
7 papers · 1 filter
Almost-linear Zarankiewicz bounds in -semi-equational theories
Hongyi Gou, Mostafa Mirabi, Mihir Mittal +2
We study multipartite hypergraphs definable in -semi-equational theories and prove almost-linear Zarankiewicz bounds in every fixed arity . If is a -semi-equation…
Open Problems in Mathematical Logic
George Barmpalias, Su Gao, Jialiang He +8
These open problems were presented in the Problem Sessions held during the Tianyuan Workshop on Definability and Computation, June 22-26, 2026. The problems are organized into sect…
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…
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…
Large implies henselian
Will Johnson, Chieu-Minh Tran, Erik Walsberg +1
Fix a field . We show that is large if and only if some elementary extension of is the fraction field of a henselian local domain which is not a field. The proof uses a…
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…