Source author record

Tingxiang Zou

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO math.GR math.CT

Catalog footprint

Research overview

5works

3topics

1close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

Pseudofinite difference fields and counting dimensions

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 pseudofinite dimension of the definable sets is definable and integer-valued. Moreover, we also discuss the possible connection between coarse dimension and transformal transcendence degree in these difference fields.

preprint2020arXiv

Schlichting's Theorem for Approximate Subgroups

We prove Schlichting's theorem for approximate subgroups: if $\mathcal{X}$ is a uniform family of commensurable approximate subgroups in some ambient group, then there exists an invariant approximate subgroup commensurable with $\mathcal{X}$ .

preprint2019arXiv

Pseudofinite H-structures and groups definable in supersimple H-structures

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. That is, the H-structures we construct are ultraproducts of finite structures. We also prove that under the assumption that the base theory is supersimple of SU-rank one, there are no new definable groups in H-structures.

preprint2019arXiv

Pseudofinite primitive permutation groups acting on one-dimensional sets

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 satisfy a version of chain condition on centralizers and on point-wise stabilizers. This generalises the classification of pseudofinite definably primitive permutation groups in supersimple theories of finite rank to supersimple theories of infinite rank.

preprint2016arXiv

Classical and Relative Realizability

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 in the relative realizability topos RT(A',A); the topos is always a Booleanization of a closed subtopos of RT(A',A). We exhibit a range of non-localic Boolean subtoposes of the Kleene-Vesley topos.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.