Related papers: Semi-isolation and the strict order property
This paper is a contribution to the theory of finite semigroups and their classification in pseudovarieties, which is motivated by its connections with computer science. The question addressed is what role can play the consideration of an…
A semiring is uniserial if its ideals are totally ordered by inclusion. First, we show that a semiring $S$ is uniserial if and only if the matrix semiring $M_n(S)$ is uniserial. As a generalization of valuation semirings, we also…
The set of finite words over a well-quasi-ordered set is itself well-quasi-ordered. This seminal result by Higman is a cornerstone of the theory of well-quasi-orderings and has found numerous applications in computer science. However, this…
Linearizing two partial orders to maximize the number of adjacencies and minimize the number of breakpoints is APX-hard. This holds even if one of the two partial orders is already a linear order and the other is an interval order, or if…
The exponential ordering is exploited in the context of non-auto\-no\-mous delay systems, inducing monotone skew-product semiflows under less restrictive conditions than usual. Some dynamical concepts linked to the order, such as…
I briefly review the concept of d-density ordering, extend it to arbitrary dimensions, and speculate that it might describe Mott insulators. This ordering supports zero modes on domain walls, and quite plausibly dopants occupy such states.…
We classify finite posets with a particular sorting property, generalizing a result for rectangular arrays. Each poset is covered by two sets of disjoint saturated chains such that, for any original labeling, after sorting the labels along…
We show that any countable model of a model complete theory has an elementary extension with a "pseudofinite-like" quasidimension that detects dividing.
Uniformly finite homology is a coarse homology theory, defined via chains that satisfy a uniform boundedness condition. By construction, uniformly finite homology carries a canonical $\ell^\infty$-semi-norm. We show that, for uniformly…
We consider the semiclassical theory in a joint phase space of spin and orbital degrees of freedom. The method is developed from the path integrals using the spin-coherent-state representation, and yields the trace formula for the density…
We investigate the partial orderings of the form (P(X),\subset), where X is a countable binary relational structure and P(X) the set of the domains of its isomorphic substructures and show that if the components of X are maximally…
We prove that if $\leq$ is an analytic partial order then either $\leq$ can be extended to a (boldface) $\Delta^1_2$ linear order similar to an antichain in $2^{<\omega_1}$ ordered lexicographically or a certain Borel partial order $\leq_0$…
In this paper, the ordered set of rough sets determined by a quasiorder relation $R$ is investigated. We prove that this ordered set is a complete, completely distributive lattice. We show that on this lattice can be defined three different…
The present paper is devoted to study some completeness properties of transitive binary relational set, i.e., a set together with a transitive binary relation (so called t-set).
We present a short and self-contained proof of the extension property for partial isometries of the class of all finite metric spaces.
We study homological properties of a locally complete intersection ring by importing facts from homological algebra over exterior algebras. One application is showing that the thick subcategories of the bounded derived category of a locally…
Semi-algebraic set is a subset of the real space defined by polynomial equations and inequalities. In this paper, we consider the problem of deciding whether two given points in a semi-algebraic set are connected. We restrict to the case…
Recently, a principle for state confinement has been proposed in a category theoretic framework and to accomodate this result the notion of a pre-monoidal category was developed. Here we describe an algebraic approach for the construction…
We prove a Ramsey theorem for finite sets equipped with a partial order and a fixed number of linear orders extending the partial order. This is a common generalization of two recent Ramsey theorems due to Soki\'c. As a bonus, our proof…
We consider a semi-classical completely integrable system defined by a $\hbar$-pseudodifferential operator $\hat{H}$ on the torus $\mathbb{T}^{d}$. In order to study perturbed operators of the form $\hat{H}+\hbar^{\kappa}\hat{K}$, where…