Related papers: Left-orderable Computable Groups
The completeness of the group classification of systems of two linear second-order ordinary differential equations with constant coefficients is delineated in the paper. The new cases extend what has been done in the literature. These cases…
A natural topology on the space of left orderings of an arbitrary semi-group is introduced. It is proved that this space is compact and that for free abelian groups it is homeomorphic to the Cantor set. An application of this result is a…
We study non-counital coalgebras and their dual non-unital algebras, and introduce the finite dual of a non-unital algebra. We show that a theory that parallels in good part the duality in the unital case can be constructed. Using this, we…
There exist combable groups in which the conjugacy problem is unsolvable. The isomorphism problem is unsolvable for certain recursive sequences of finite presentations of combable groups.
Ordering theorems, characterizing when partial orders of a group extend to total orders, are used to generate hypersequent calculi for varieties of lattice-ordered groups (l-groups). These calculi are then used to provide new proofs of…
We study left invariant locally conformally product structures on simply connected Lie groups and give their complete description in the solvable unimodular case. Based on previous classification results, we then obtain the complete list of…
For any class of operators which transform unary total functions in the set of natural numbers into functions of the same kind, we define what it means for a real function to be uniformly computable or conditionally computable with respect…
Let G be a left orderable group and LO(G) the space of all left orderings. We investigate the circumstances under which a left ordering < of G can correspond to an isolated point in LO(G), in particular we extend known results to cover the…
We produce two separate algebraic descriptions of the isomorphism classes of the solvable subgroups of the group PLo(I) of piecewise-linear orientation-preserving homeomorphisms of the unit interval under the operation of composition, and…
We construct examples of number fields which are not isomorphic but for which their idele class groups are isomorphic. We also construct examples of projective algebraic curves which are not isomorphic but for which their Jacobian varieties…
We study the degree spectra and reverse-mathematical applications of computably enumerable and co-computably enumerable partial orders. We formulate versions of the chain/antichain principle and ascending/descending sequence principle for…
Suppose $G$ is a second countable, locally compact, Hausdorff groupoid with a fixed left Haar system. Let $\go/G$ denote the orbit space of $G$ and $C^*(G)$ denote the groupoid $C^*$-algebra. Suppose that the isotropy groups of $G$ are…
In this paper we introduce a description of ordered groupoids as a particular type of double categories. This enables us to turn Lawson's correspondence between ordered groupoids and left-cancellative categories into a biequivalence. We use…
We construct a finitely presented (two-sided) totally orderable group with insoluble word problem.
It is shown that there is a $C^*$-algebraic quantum group related to any double Lie group. An algebra underlying this quantum group is an algebra of a differential groupoid naturally associated with a double Lie group
A Riemann-Poisson Lie group is a Lie group endowed with a left invariant Riemannian metric and a left invariant Poisson tensor which are compatible in the sense introduced in C.R. Acad. Sci. Paris s\'er. {\bf I 333} (2001) 763-768. We study…
This is an almost self-contained monograph (containing some new results) on left-orderable groups which mostly rely on dynamical and probabilistic aspects, but also on geometric, combinatorial, analytic, and topological ones. This new…
A subsemigroup $S$ of an inverse semigroup $Q$ is a left I-order in $Q$, if every element in $Q$ can be written as $a^{-1}b$ where $a, b \in S$ and $a^{-1}$ is the inverse of $a$ in the sense of inverse semigroup theory. We study a…
We examine, in a general setting, a notion of inverse semigroup of left quotients, which we call left I-quotients. This concept has appeared, and has been used, as far back as Clifford's seminal work describing bisimple inverse monoids in…
We introduce the notion of a graded integral element, prove the counterpart of the lying-over theorem on commutative algebra in the context of left commutative rngs, and use the Hu-Liu product to select a class of noncommutative rings.