Related papers: Small sets in Mann pairs

Let $d(G)$ be the smallest cardinality of a generating set of a finite group $G.$ We give a complete classification of the finite groups with the property that, whenever $ \langle x_1, \dots, x_{d(G)} \rangle = \langle y_1, \dots, y_{d(G)}…

We study the structural regularities and irregularities of the reals in inner models of set theory. Starting with $L$, G\"{o}del's constructible universe, our study of the reals is thus two-fold. On the one hand, we study how their…

We continue the analysis of definably compact groups definable in a real closed field $\mathcal{R}$. In [3], we proved that for every definably compact definably connected semialgebraic group $G$ over $\mathcal{R}$ there are a connected…

In this article, we give a theorem of reduction of the structure group of a principal bundle P with regular structure group G. Then, when G is in the classes of Lie groups defined by T.Robart [13], we define the closed holonomy group of a…

We give an example of a definable quotient in an o-minimal structure which cannot be eliminated over any set of parameters, giving a negative answer to a question of Eleftheriou, Peterzil, and Ramakrishnan. Equivalently, there is an…

We put forward a simple construction of genuinely entangled subspaces -- subspaces supporting only genuinely multipartite entangled states -- of any permissible dimensionality for any number of parties and local dimensions. The method uses…

The main result of this paper is that if M is a bounded PRC field then Th(M) eliminates imaginaries in the language of rings expanded by constant symbols.

Suppose that $\Omega$ is a complex lattice that is closed under complex conjugation and that $I$ is a small real interval, and that $D$ is a disc in $ \mathbb{C}$. Then the restriction $\wp|_D$ is definable in the structure…

Suppose $M$ is a tracial von Neumann algebra embeddable into $\mathcal R^{\omega}$ (the ultraproduct of the hyperfinite $II_1$-factor) and $X$ is an $n$-tuple of selfadjoint generators for $M$. Denote by $\Gamma(X;m,k,\gamma)$ the…

We prove that every finitely generated group with recursive aspherical presentation embeds into a group with finite aspherical presentation. This and several known facts about groups and manifolds imply that there exists a 4-dimensional…

We address pairs $(X, Y)$ of metric spaces with the following property: for every mapping $f: X \to Y$ the existence of points $x, y \in X$ with $d(f(x),f(y)) > d(x,y)$ implies the existence of $\widetilde{x}, \widetilde{y}\in X$ for which…

We obtain the following embedding theorem for symbolic dynamical systems. Let $G$ be a countable amenable group with the comparison property. Let $X$ be a strongly aperiodic subshift over $G$. Let $Y$ be a strongly irreducible shift of…

Let $M$ be an analytic complete finite volume pseudo-Riemannian manifold and $\widetilde{Sp}(n,\mathbb{R})\times\widetilde{Sp}(1,\mathbb{R})$ a connected semisimple Lie group such that its Lie algebra is…

We mechanize, in the proof assistant Isabelle, a proof of the axiom-scheme of Separation in generic extensions of models of set theory by using the fundamental theorems of forcing. We also formalize the satisfaction of the axioms of…

Thamrongthanyalak demonstrated a definable version of Michael's selection theorem in d-minimal expansions of the real field. We generalize this result to the case in which the structures are d-minimal expansions of ordered fields $\mathcal…

We study structural conditions in dense graphs that guarantee the existence of vertex-spanning substructures such as Hamilton cycles. It is easy to see that every Hamiltonian graph is connected, has a perfect fractional matching and,…

Let I be a dense linear order with a left endpoint but no right endpoint. We consider the lattice L(I) of finite unions of closed intervals of I. This lattice arises naturally in the setting of o-minimality, as these are precisely the…

Let $k$ be a field, and suppose that $\Gamma$ is a smooth $k$-group that acts on a connected, reductive $k$-group $\widetilde G$. Let $G$ denote the maximal smooth, connected subgroup of the group of $\Gamma$-fixed points in $\widetilde G$.…

We prove that any two general probabilistic theories (GPTs) are entangleable, in the sense that their composite exhibits either entangled states or entangled measurements, if and only if they are both non-classical, meaning that neither of…

Let $\widetilde G$ be the nonlinear double cover of the real points of a connected, simply connected, semisimple complex group. In [Ts], we introduce a set of genuine small representations of $\widetilde G$ with infinitesimal character…