5 papers
Pseudofinite primitive permutation groups acting on one-dimensional sets
Tingxiang Zou
Working in a theory with an integer-valued dimension on interpretable sets, we classify pseudofinite definably primitive permutation groups acting on one-dimensional sets which sat…
Schlichting's Theorem for Approximate Subgroups
Tingxiang Zou
We prove Schlichting's theorem for approximate subgroups: if is a uniform family of commensurable approximate subgroups in some ambient group, then there exists an in…
Pseudofinite difference fields and counting dimensions
Tingxiang Zou
We study a family of ultraproducts of finite fields with the Frobenius automorphism in this paper. Their theories have the strict order property and TP2. But the coarse pseudofinit…
Pseudofinite H-structures and groups definable in supersimple H-structures
Tingxiang Zou
In this paper we explore some properties of H-structures. We describe a construction of H-structures based on one-dimensional asymptotic classes which preserves pseudo-finiteness.…
Classical and Relative Realizability
Jaap van Oosten, Tingxiang Zou
We show that every abstract Krivine structure in the sense of Streicher can be obtained, up to equivalence of the resulting tripos, from a filtered opca (A,A') and a subobject of 1…