Related papers: Existentially Closed Brouwerian Semilattices
Central to the theory of special cube complexes is Haglund and Wise's construction of the canonical completion and retraction, which enables one to build finite covers of special cube complexes in a highly controlled manner. In this paper…
Over the past few years it has been discovered that an "observable" can be set up on the lattice which obeys the discrete Cauchy-Riemann equations. The ensuing condition of discrete holomorphicity leads to a system of linear equations which…
We define and study a lattice model which we argue is in the universality class of the $OSp(2S+2|2S)$ supercoset sigma model for a large range of values of the coupling constant $g_\sigma^2$. In this first paper, we analyze in details the…
We study completions of Archimedean vector lattices relative to any nonempty set of positively-homogeneous functions on finite-dimensional real vector spaces. Examples of such completions include square mean closed and geometric closed…
We prove that the variety of nuclear implicative semilattices is locally finite, thus generalizing Diego's Theorem. The key ingredients of our proof include the coloring technique and construction of universal models from modal logic. For…
We apply the BFFT formalism to a prototypical second-class system, aiming to convert its constraints from second- to first-class. The proposed system admits a consistent initial set of second-class constraints and an open potential function…
In this paper we study structural properties of residuated lattices that are idempotent as monoids. We provide descriptions of the totally ordered members of this class and obtain counting theorems for the number of finite algebras in…
For every semilattice $\mathcal{A}=(A,+)$, the set $\mathrm{End}(\mathcal{A})$ of its endomorphisms forms a semiring under pointwise addition and composition. We prove that that if $\mathcal{A}$ is finite, then the endomorphism semiring…
A specialization semilattice is a structure which can be embedded into $(\mathcal P(X), \cup, \sqsubseteq )$, where $X$ is a topological space, $ x \sqsubseteq y$ means $x \subseteq Ky$, for $x,y \subseteq X$, and $K$ is closure in $X$.…
Our aim in this paper is to explore semisubtractive ideals of semirings. We prove that they form a complete modular lattice. We introduce Golan closures and prove some of their basic properties. We explore the relations between $Q$-ideals…
J. Tuma proved an interesting "congruence amalgamation" result. We are generalizing and providing an alternate proof for it. We then provide applications of this result: --A.P. Huhn proved that every distributive algebraic lattice $D$ with…
In the course of classifying the homogeneous permutations, Cameron introduced the viewpoint of permutations as structures in a language of two linear orders, and this structural viewpoint is taken up here. The majority of this thesis is…
We solve a case of the Abelian Exponential-Algebraic Closedness Conjecture, a conjecture due to Bays and Kirby, building on work of Zilber, which predicts sufficient conditions for systems of equations involving algebraic operations and the…
Answering a conjecture by S. Kobayashi, in 1986, K. Sekigawa and L. Vanhecke proved that an almost hermitian manifold whose local geodesic symmetries preserve the K\"ahler 2-form is a locally symmetric hermitian space. In the present paper,…
We introduce a Brauer type algebra $B_G (\Upsilon) $ associated with every pseudo reflection group and every Coxeter group $G$. When $G$ is a Coxeter group of simply-laced type we show $B_G (\Upsilon)$ is isomorphic to the generalized…
We establish a bulk--boundary correspondence for translation-invariant stabilizer states in arbitrary spatial dimension, formulated in the framework of modules over Laurent polynomial rings. To each stabilizer state restricted to half-space…
The aim of this paper is to analize the structure of BL-algebras using commutative rings. From computational considerations, we are very interested in the finite case. We present new ways to generate finite BL-algebras using commutative…
We show that the bulk-boundary correspondence for topological insulators can be modified in the presence of non-Hermiticity. We consider a one-dimensional tight-binding model with gain and loss as well as long-range hopping. The system is…
We use high girth, high chromatic number hypergraphs to show that there are finite models of the equational theory of the semiring of nonnegative integers whose equational theory has no finite axiomatisation, and show this also holds if…
In the paper we describe the structure of $\mathscr{AH}$-completions and $\mathscr{H}$-completions of the discrete semilattices $(\mathbb{N},\min)$ and $(\mathbb{N},\max)$. We give an example of an $\mathscr{H}$-complete topological…