Related papers: Exponentiable linear orders need not be transitive
We provide polynomial lower bounds for residual finiteness of residually finite, finitely generated solvable groups that admit infinite order elements in the Fitting subgroup of strict distortion at least exponential. For this class of…
A class theorem is presented and proved: the complex Fourier transforms of a certain class of exponential functions have all their zeros on the real line. A class of basis functions is first considered, and the class is then extended via…
We introduce the branching transitive closure operator on weighted monadic second-order logic formulas where the branching corresponds in a natural way to the branching inherent in trees. For arbitrary commutative semirings, we prove that…
Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Expressive role constructors are important in many applications, but can…
Let $p$ be a prime and $G$ a subgroup of $GL_d(p)$. We define $G$ to be $p$-exceptional if it has order divisible by $p$, but all its orbits on vectors have size coprime to $p$. We obtain a classification of $p$-exceptional linear groups.…
Kadison's transitivity theorem implies that, for irreducible representations of C*-algebras, every invariant linear manifold is closed. It is known that CSL algebras have this propery if, and only if, the lattice is hyperatomic (every…
A finite group is called a CLT-group if it contains a subgroup corresponding to every divisor of the order of the group. It is said to be a Cyclic (Abelian) CLT group if it contains a cyclic (abelian) subgroup corresponding to every proper…
We show that every unstable NIP theory admits a V-definable linear quasi-order, over a finite set of parameters. In particular, if the theory is omega-categorical, then it interprets an infinite linear order. This partially answers a…
A cyclically ordered quiver is a quiver endowed with an additional structure of a cyclic ordering of its vertices. This structure, which naturally arises in many important applications, gives rise to new powerful mutation invariants.
This article deals with the second order linear differential equations with entire coefficients. We prove some results involving conditions on coefficients so that the order of growth of every non-trivial solution is infinite.
Let K denote a compact invariant set for a strongly monotone semiflow in an ordered Banach space E, satisfying standard smoothness and compactness assumptions. Suppose the semiflow restricted to K is chain transitive. The main result is…
We show that the higher order linear differential equation possesses all solutions of infinite order under certain conditions by extending the work of authors about second order differential equation \cite{dsm2}.
We prove that for every countable ordinal $\xi$, the Tsirelson's space $T_\xi$ of order $\xi$, is naturally, i.e., via the identity, $3$-isomorphc to its modified version. For the first step, we prove that the Schreier family…
Finite translation surfaces can be classified by the order of their singularities. When generalizing to infinite translation surfaces, however, the notion of order of a singularity is no longer well-defined and has to be replaced by new…
We classify transcendental entire functions that are compositions of a polynomial and the exponential for which all singular values escape on disjoint rays. The construction involves an iteration procedure on an infinite-dimensional…
We show that satisfiability for CTL* with equality-, order-, and modulo-constraints over Z is decidable. Previously, decidability was only known for certain fragments of CTL*, e.g., the existential and positive fragments and EF.
We study the class of transitive skew-products associated with iterated function systems of circle diffeomorphisms. We can approximate any transitive skew-product by maps in this class that have a robustly zero Lyapunov exponent. In…
Recently, arXiv:2312.16035 showed that all logics based on Boolean Normal monotonic three-valued schemes coincide with classical logic when defined using a strict-tolerant standard ($\mathbf{st}$). Conversely, they proved that under a…
In this paper, we provide a partial answer to a problem posed by A. V.Arhangel'skii; we show that if X is a compactum cleavable over a separable linearly ordered topological space (LOTS) Y such that for some continuous function f from X to…
Motivated by recent activity in low-dimensional topology, we provide a new criterion for left-orderability of a group under the assumption that the group is circularly-orderable: A group $G$ is left-orderable if and only if $G \times…