Related papers: On semibounded expansions of ordered groups
We study two classes of operator algebras associated with a unital subsemigroup $P$ of a discrete group $G$: one related to universal structures, and one related to co-universal structures. First we provide connections between universal…
Let $\widetilde{\mathcal M}=\langle \mathcal M, G\rangle$ be an expansion of a real closed field $\mathcal M$ by a dense subgroup $G$ of $\langle M^{>0}, \cdot\rangle$ with the Mann property. We prove that the induced structure on $G$ by…
In this paper we prove two new abstract compactness criteria in normed spaces. To this end we first introduce the notion of an equinormed set using a suitable family of semi-norms on the given normed space satisfying some natural…
It is shown that the extension of $\R$ by a generic smooth function restricted to the unit cube is o-minimal. The generalization to countably many generic smooth functions is indicated. Possible applications are sketched.
Non-archimedean fields with restricted analytic functions may not support a full exponential function, but they always have partial exponentials defined in convex subrings. On face of this, we study the first order theory of the class of…
This paper has two parts. In the first one, we prove that an invariant dp-minimal type is either finitely satisfiable or definable. We also prove that a definable version of the (p,q)-theorem holds in dp-minimal theories of small or medium…
A unitary representation of a, possibly infinite dimensional, Lie group $G$ is called semi-bounded if the corresponding operators $i\dd\pi(x)$ from the derived representations are uniformly bounded from above on some non-empty open subset…
In this paper we apply known techniques from semigroup theory to the Schr\"odinger problem with initial conditions. To this end, we define the regularized Schr\"odinger semigroup acting on a space-time domain and show that it is strongly…
Ehresmann semigroups may be viewed as biunary semigroups equipped with domain and range operations satisfying some equational laws. Motivated by some of the main examples, we here define ordered Ehresmann semigroups, and consider their…
We show that every free amalgamation class of finite structures with relations and (symmetric) partial functions is a Ramsey class when enriched by a free linear ordering of vertices. This is a common strengthening of the…
Let G be an abelian group acting on a set X, and suppose that no element of G has any finite orbit of size greater than one. We show that every partial order on X invariant under $G$ extends to a linear order on X also invariant under G. We…
Consider a definable complete d-minimal expansion $(F, <, +, \cdot, 0, 1, \dots,)$ of an oredered field $F$. Let $X$ be a definably compact definably normal definable $C^r$ manifold and $2 \le r <\infty$. We prove that the set of definable…
A DR-semigroup $S$ (also known as a reduced E-semiabundant or reduced E-Fountain semigroup) is here viewed as a semigroup equipped with two unary operations $D,R$ satisfying finitely many equational laws. Examples include DRC-semigroups…
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…
An irreducible norm closed semigroup of complex matrices is simultaneously similar to a semigroup of partial isometries if and only if (a) the norms of all nonzero members of it are uniformly bounded above and below, and (b) its idempotents…
Arguments on PL,(=piecewise linear) topology work over any ordered field in the same way as over the real field, and those on differential topology do over a real closed field R in an o-minimal structure that expands (R,<,0,1,+,cdot). One…
Semifields are semirings in which every nonzero element has a multiplicative inverse. A rough classification uses the characteristic of the semifield, that is the isomorphism type of the semifield generated by the two neutral elements. For…
We present necessary and sufficient conditions for a group homomorphism between spaces of smooth sections of Lie group bundles to be a weighted composition operator. These results provide new insights into a wide range of problems related…
Regular groups and fields are common generalizations of minimal and quasi-minimal groups and fields, so the conjectures that minimal or quasi-minimal fields are algebraically closed have their common generalization to the conjecture that…
We establish the first global results for groups definable in tame expansions of o-minimal structures. Let $\mathcal N$ be an expansion of an o-minimal structure $\mathcal M$ that admits a good dimension theory. The setting includes dense…