Related papers: Uniformly locally o-minimal open core

We introduce normal cores, as well as the more general action cores, in the context of a semi-abelian category, and further generalise those to split extension cores in the context of a homological category. We prove that, if the category…

We survey some of the known criteria for expansiveness of principal algebraic actions of countably infinite discrete groups. In the special case of the discrete Heisenberg group we propose a new approach to this problem based on Allan's…

Let $S$ be a finitely generated abelian semigroup of invertible linear operators on a finite dimensional real or complex vector space $V$. We show that every coarsely dense orbit of $S$ is actually dense in $V$. More generally, if the orbit…

The authors investigate the structure of quasi-o-minimal groups. Among other results, they show that quasi-o-minimal groups are abelian, that quasi-o-minimal densely ordered archimedian groups are divisible, and that every divisible…

We define and we characterize regular and c-regular cyclically ordered abelian groups. We prove that every dense c-regular cyclically ordered abelian group is elementarily equivalent to some cyclically ordered group of unimodular complex…

This paper provides a full characterization for when the expansion of a complete o-minimal theory by a unary predicate that picks out a divisible dense and codense subgroup has a model companion. This result is motivated by criteria and…

Let $\mathcal{R}$ be an expansion of the ordered real additive group. When $\mathcal{R}$ is o-minimal, it is known that either $\mathcal{R}$ defines an ordered field isomorphic to $(\mathbb{R},<,+,\cdot)$ on some open subinterval…

This paper contains several results about the Chabauty space of a general locally compact abelian group. Notably, we determine its topological dimension, we characterize when it is totally disconnected or connected; we characterize isolated…

We introduce an elementary class of linearly ordered groups, called growth order groups, encompassing certain groups under composition of formal series (e.g. transseries) as well as certain groups $\mathcal{G}_{\mathcal{M}}$ of infinitely…

We obtain a sufficient condition, given a totally disconnected, locally compact group $G$ with a topologically simple monolith $S$, to ensure that $S$ is open in $G$ and abstractly simple.

Through careful analysis of types inspired by [AGTW21] we characterize a notion of definable compactness for definable topologies in general o-minimal structures, generalizing results from [PP07] about closed and bounded definable sets in…

Partially ordered groups, also known as po-groups, are groups with a compatible partial order. Results from M.I. Zajceva and H.-H. Teh are combined in order to provide a full characterisation of linear order extensions of a given order on a…

We answer in the affirmative a conjecture of Berarducci, Peterzil and Pillay \cite{BPP10} for solvable groups, which is an o-minimal version of a particular case of Milnor's isomorphism conjecture \cite{jM83}. We prove that every abstract…

We investigate the reproducing properties of Gabor systems within the context of expansible groups. These properties are established in terms of density conditions. The concept of density that we employ mirrors the well-known Beurling…

The relational width of a finite structure, if bounded, is always (1,1) or (2,3). In this paper we study the relational width of first-order expansions of finitely bounded homogeneous binary cores where binary cores are structures with…

In this paper, we characterize the families of those bounded linear operators on a separable Hilbert space which are simultaneously unitarily equivalent to integral bi-Carleman operators on $L_2(R)$ having arbitrarily smooth kernels of…

We classify the locally compact second-countable (l.c.s.c.) groups $A$ that are abelian and topologically characteristically simple. All such groups $A$ occur as the monolith of some soluble l.c.s.c. group $G$ of derived length at most $3$;…

An expansion of a definably complete field either defines a discrete subring, or the image of a definable discrete set under a definable map is nowhere dense. As an application we show a definable version of Lebesgue's differentiation…

We study normal finite abelian covers of smooth varieties. In particular we establish combinatorial conditions so that a normal finite abelian cover of a smooth variety is Gorenstein or locally complete intersection.

We give an algebraic description of the structure of the analytic universal cover of a complex abelian variety which suffices to determine the structure up to isomorphism. More generally, we classify the models of theories of "universal…