Related papers: Tame pseudofinite theories with wild pseudofinite …

We develop tame topology over dp-minimal structures equipped with definable uniformities satisfying certain assumptions. Our assumptions are enough to ensure that definable sets are tame: there is a good notion of dimension on definable…

We explore a notion of pseudofinite dimension, introduced by Hrushovski and Wagner, on an infinite ultraproduct of finite structures. Certain conditions on pseudofinite dimension are identified that guarantee simplicity or supersimplicity…

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…

A visceral structure on M is given by a definable base for a uniform topology on its universe in which all basic open sets are infinite and any infinite definable subset X of M has non-empty interior. This context includes o-minimal ordered…

We introduce a generalized notion of finiteness that provides a structural principle for the set of effective theories that can be consistently coupled to quantum gravity. More concretely, we propose a Tameness Conjecture that states that…

The notion of a tamely ramified covering is canonical only for curves. Several notions of tameness for coverings of higher dimensional schemes have been used in the literature. We show that all these definitions are essentially equivalent.…

Effective field theories consistent with quantum gravity obey surprising finiteness constraints, appearing in several distinct but interconnected forms. In this work we develop a framework that unifies these observations by proposing that…

We prove the tame-wild dichotomy conjecture, due to D. Simson, for infinite dimensional algebras and coalgebras. The key part of the approach is proving new representation theoretic characterizations local finiteness. Among other, we show…

We show that any countable model of a model complete theory has an elementary extension with a "pseudofinite-like" quasidimension that detects dividing.

In this paper we study the theories of the infinite-branching tree and the $r$-regular tree, and show that both of them are pseudofinite. Moreover, we show that they can be realized by infinite ultraproducts of polynomial exact classes of…

We shall define a general notion of dimension, and study groups and rings whose interpretable sets carry such a dimensio. In particular, we deduce chain conditions for groups, definability results for fields and domains, and show that…

Tame geometry originated in mathematical logic and implements strong finiteness properties by defining the notion of tame sets and functions. In part I we argued that observables in a wide class of quantum field theories are tame functions…

We prove that every finite dimensional algebra over an algebraically closed field is either derived tame or derived wild. We also prove that any deformation of a derived tame algebra is derived tame.

We establish representation types (finite, tame or wild) of finite dimensional Munn algebras with semisimple bases. As an application, we establish representation types of finite 0-simple semigroups and their mutually annihilating unions.

Let $\tau$ be an uncountable cardinal. The notion of a \emph{$\tau$-fine} topological group was introduced in 2021. More recently, H. Zhang et al. generalized this concept by defining pseudo-$\tau$-fine topological groups to study certain…

We consider natural cardinal invariants hm_n and prove several duality theorems, saying roughly: if I is a suitably definable ideal and provably cov(I)>=hm_n, then non(I) is provably small. The proofs integrate the determinacy theory,…

We give a structural theorem for pseudofinite groups of finite centraliser dimension. As a corollary, we observe that there is no finitely generated pseudofinite group of finite centraliser dimension.

We propose a generalized finiteness principle for physical theories, in terms of the concept of tameness in mathematical logic. A tame function or space can only have a finite amount of structure, in a precise sense which we explain.…

Let $T$ be a theory with a definable topology. $T$ is t-minimal in the sense of Mathews if every definable set in one variable has finite boundary. If $T$ is t-minimal, we show that there is a good dimension theory for definable sets,…

We prove that every finite dimensional algebra over an algebraically closed field is either derived tame or derived wild. The proof is based on the technique of matrix problems (boxes and reduction algorithm). It implies, in particular,…