Related papers: Closed bounded sets in 1-h-minimal valued fields

In this paper we study groups definable in existentially closed partial differential fields of characteristic 0 with an automorphism which commutes with the derivations. In particular, we study Zariski dense definable subgroups of simple…

We investigate properties of closed approximate subgroups of locally compact groups, with a particular interest for approximate lattices i.e. those approximate subgroups that are discrete and have finite co-volume. We prove an approximate…

We study dp-minimal infinite profinite groups that are equipped with a uniformly definable fundamental system of open subgroups. We show that these groups have an open subgroup $A$ such that either $A$ is a direct product of countably many…

Let N be an o-minimal expansion of a real closed field. We develop cohomology theory for the category of N-definable manifolds and N-definable maps, and use this to solve the Peterzil-Steinhorn problem on the existence of torsion points on…

We prove that a strictly stable minimal $C^2_h$ intrinsic graph G is locally area-minimizing, i.e. given any $C^1_h$ graph $S$ with the same boundary, $\text{Area}(G)<\text{Area}(S)$ unless $G=S$. As a consequence we show the existence and…

Let \(G\) be a non-discrete, locally compact group with Haar measure \(m\). We prove that there exists a compact set \(K \subset G\) with \(m(K)=0\) such that \(KK^{-1}\) contains a neighborhood of the identity. Moreover, such a set may be…

We define a relative property A for a countable group with respect to a finite family of subgroups. Many characterizations for relative property A are given. In particular a relative bounded cohomological characterization shows that if a…

We consider a finitely generated group acting minimally on a compact space by homeomorphsims, and assume that the Schreier graph of at least one orbit is quasi-isometric to a line. We show that the topological full group of such an action…

We classify dp-minimal pure fields up to elementary equivalence. Most are equivalent to Hahn series fields $K((t^\Gamma))$ where $\Gamma$ satisfies some divisibility conditions and $K$ is $\mathbb{F}_p^{alg}$ or a local field of…

Groups of almost upper triangular infinite matrices with entries indexed by integers are studied. It is shown that, when the matrices are over a finite field, these groups admit a nondiscrete totally disconnected, locally compact group…

We explore the Borel complexity of some basic families of subsets of a countable group (large, small, thin, sparse and other) defined by the size of their elements. Applying the obtained results to the Stone-\v{C}ech compactification $\beta…

In this paper, we study definably compact semigroups in o-minimal structures, aiming to extend the theory of definable groups to a broader algebraic setting. We show that any definably compact semigroup contains idempotents and admits a…

The set of open subsets in a proximity space (X,{\zeta}) forms a topological system that enables the definition of proximal and descriptive topological groups. This framework naturally extends to proximal and descriptive topological rings…

In this paper we study local stable/unstable sets of sensitive homeomorphisms with the shadowing property defined on compact metric spaces. We prove that local stable/unstable sets always contain a compact and perfect subset of the space.…

Suppose $M$ is a countable ab-initio (uncollapsed) generic structure which is obtained from a pre-dimension function with rational coefficients. We show that if $H$ is a subgroup of $\mbox{Aut}\left(M\right)$ with…

We give examples of groups G such that G^00 is different from G^000. We also prove that for groups G definable in an o-minimal structure, G has a "bounded orbit" iff G is definably amenable. These results answer questions of Gismatullin,…

We prove that in an arbitrary o-minimal structure, every interpretable group is definably isomorphic to a definable one. We also prove that every definable group lives in a cartesian product of one-dimensional definable group-intervals (or…

We propose to grok Lipschitz stratifications from a non-archimedean point of view and thereby show that they exist for closed definable sets in any power-bounded o-minimal structure on a real closed field. Unlike the previous approaches in…

Recently Paw\l{}ucki showed that compact sets that are definable in some o-minimal structure admit triangulations of class $\mathcal{C}^p$ for each integer $p\geq 1$. In this work, we make use of these new techniques of triangulation to…

The closed neighborhood complex $\mathcal{N}[G]$ of a simple graph $G$ is the simplicial complex whose simplices are finite sets of vertices contained in a closed neighborhood of a vertex in $G$. We reveal that the closed neighborhood…