Related papers: Distinct orders dividing each other on both sides

In the paper I prove that there are two squares of opposition. The unconventional one is built up for synthetic propositions. There a, i are contrary, a, o (resp. e, i) are contradictory, e, o are subcontrary, a, e (resp. i, o) are said to…

In this work, we consider rational ordinary differential equations dy/dx = Q(x,y)/P(x,y), with Q(x,y) and P(x,y) coprime polynomials with real coefficients. We give a method to construct equations of this type for which a first integral can…

Assuming an instance of the Brodsky-Rinot proxy principle holding at a regular uncountable cardinal $\kappa$, we construct $2^\kappa$-many pairwise non-embeddable minimal non-$\sigma$-scattered linear orders of size $\kappa$. In particular,…

We prove the existence of Gysin morphisms for hyperplane sections that may not satisfy the usual hypotheses of the Lefschetz hyperplane theorem. As an application, we show the triviality of the Alexander polynomial of a particular class of…

Motivated by the recent result that left-orderability of a group $G$ is intimately connected to circular orderability of direct products $G \times \mathbb{Z}/n\mathbb{Z}$, we provide necessary and sufficient cohomological conditions that…

The relations between solutions of the three types of totally linear partial differential equations of first order are presented. The approach is based on factorization of a non-homogeneous first order differential operator to products…

We show that the theory of derivators (or, more generally, of fibered multiderivators) on all small categories is equivalent to this theory on partially ordered sets, in the following sense: Every derivator (more generally, every fibered…

We introduce a notion of ``hereditarily antisymmetric'' operator algebras and prove a structure theorem for them in finite dimensions. We also characterize those operator algebras in finite dimensions which can be made upper triangular and…

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.

In this article, we introduce a hierarchy on the class of non-archimedean Polish groups that admit a compatible complete left-invariant metric. We denote this hierarchy by $\alpha$-CLI and L-$\alpha$-CLI where $\alpha$ is a countable…

It is shown that max-preserving maps (or join-morphisms) on the positive orthant in Euclidean $n$-space endowed with the component-wise partial order give rise to a semiring. This semiring admits a closure operation for maps that generate…

It is shown that a given non-autonomous system of two first-order ordinary differential equations can be expressed in Hamiltonian form. The derivation presented here allow us to obtain previously known results such as the infinite number of…

In this paper, we study nonlinear differential equations satisfied by the generating function of Boole numbers. In addition, we derive some explicit and new interesting identities involving Boole numbers and higher-order numbers arising…

We construct symmetric self-similar Dirichlet forms on unconstrained Sierpinski carpets, which are natural extension of planar Sierpinski carpets by allowing the small cells to live off the $1/k$ grids. The intersection of two cells can be…

In [Ann. Math. 190 (2019), 657-661], James Hyde presented the first example of non-left-orderable, finitely generated subgroup of $\mathrm{Homeo}(D,\partial D)$, the group of homeomorphisms of the disk fixing the boundary. This implies that…

Given a variety $Y$ with a rectangular Lefschetz decomposition of its derived category, we consider a degree $n$ cyclic cover $X \to Y$ ramified over a divisor $Z \subset Y$. We construct semiorthogonal decompositions of $\mathrm{D^b}(X)$…

We give the complete classification of left-invariant sub-Riemannian structures on three dimensional Lie groups in terms of the basic differential invariants. This classifications recovers other known classification results in the…

We investigate the orderability properties of fundamental groups of 3-dimensional manifolds. Many 3-manifold groups support left-invariant orderings, including all compact P^2-irreducible manifolds with positive first Betti number. For…

We give a characterisation of fragmentable, compact linearly order spaces. In particular, we show that if $K$ is a compact, fragmentable, linearly ordered space then $K$ is a Radon-Nikod\'{y}m compact. In addition, we obtain some…

This paper belongs to a group of work in the intersection of symbolic computation and group analysis aiming for the symbolic analysis of differential equations. The goal is to extract important properties without finding the explicit…