Related papers: Diego's Theorem for nuclear implicative semilattic…
In the current paper we study extremal semilattices with respect to their equational properties. In the class $\mathbf{S}_n$ of all semilattices of order $n$ we find semilattices which have maximal (minimal) number of consistent equations.…
Non-classical generalizations of classical modal logic have been developed in the contexts of constructive mathematics and natural language semantics. In this paper, we discuss a general approach to the semantics of non-classical modal…
Let I be a dense linear order with a left endpoint but no right endpoint. We consider the lattice L(I) of finite unions of closed intervals of I. This lattice arises naturally in the setting of o-minimality, as these are precisely the…
A duality theorem of the bounded derived category of quasi-finite comodules over an artinian coalgebra is established. Let $A$ be a noetherian complete basic semiperfect algebra over an algebraically closed field, and $C$ be its dual…
We show that every distributive lattice-ordered pregroup can be embedded into a functional algebra over an integral chain, thus improving the existing Cayley/Holland-style embedding theorem. We use this to show that the variety of all…
We study the partition function of both Close-Packed Dimers and the Critical Ising Model on a square lattice embedded on a genus two surface. Using numerical and analytical methods we show that the determinants of the Kasteleyn adjacency…
The notion of Laplace invariants is transferred to the lattices and discrete equations which are difference analogs of hyperbolic PDE's with two independent variables. The sequence of Laplace invariants satisfy the discrete analog of…
I propose a class of D\geq{2} lattice SU(N) gauge theories dual to certain vector models endowed with the local [U(N)]^{D} conjugation-invariance and Z_{N} gauge symmetry. In the latter models, both the partitition function and Wilson loop…
Di Francesco conjectured in 2021 that the number of domino tilings of a certain family of regions -- called Aztec triangles -- on the square lattice is given by a product formula reminiscent of the one giving the number of alternating sign…
The Blok-Esakia theorem states that there is an isomorphism from the lattice of intermediate logics onto the lattice of normal extensions of Grzegorczyk modal logic. The extension for multi-conclusion consequence relations was obtained by…
We use an interpretation of projective planes to show the inherent nondualisability of some finite semigroups. The method is sufficiently flexible to demonstrate the nondualisability of (asymptotically) almost all finite semigroups as well…
We show existence of a natural rational structure on periodic cyclic homology, conjectured by L. Katzarkov, M. Kontsevich, T. Pantev, for several classes of dg-categories, including proper connective $\mathbb{C}$-dg-algebras and…
De Morgan bisemilattices are expansions of distributive bisemilattices by an involution satisfying De Morgan properties. They have attracted interest both as algebraic models of analytic containment logics, and as a case study for a certain…
We prove the tame-wild dichotomy conjecture, due to D. Simson, for infinite dimensional algebras and coalgebras. The key part of the approach is proving new representation theoretic characterizations local finiteness. Among other, we show…
C*-algebras generalizing Cuntz-Krieger algebras can be associated to hyperbolic homeomorphisms of compact metric spaces. They satisfy a non-commutative form of Spanier-Whitehead duality with respect to K-theory. We prove this for the case…
In [6] we proved that the universal theory of infinite free lattices is (algorithmically) decidable, leaving open the problem of decidability of the full theory of an (infinite) free lattice. We solve this problem by proving that, for every…
In continuous first-order logic, the union of definable sets is definable but generally the intersection is not. This means that in any continuous theory, the collection of $\varnothing$-definable sets in one variable forms a…
We generalize the phenomenon of continuation from complex anal- ysis to locally operator monotone functions. Along the lines of the egde-of- the-wedge theorem, we prove continuations exist dependent only on geometric features of the domain…
We present lattice results for simulations of the $O(3)$ non-linear sigma model at finite chemical potential. The complex action problem is overcome by a dual variable representation of the model. We discuss two aspects of the theory at…
This paper studies questions related to the dynamic transition between local and global minimizers in the Ginzburg-Landau theory of superconductivity. We derive a heuristic equation governing the dynamics of vortices that are close to the…