English
Related papers

Related papers: A Stone-type duality for semilattices with adjunct…

200 papers

We present a class of solutions of the two-dimensional Toda lattice equation, its fully discrete analogue and its ultra-discrete limit. These solutions demonstrate the existence of soliton resonance and web-like structure in discrete…

Exactly Solvable and Integrable Systems · Physics 2009-11-10 Ken-ichi Maruno , Gino Biondini

M.S. Rao recently investigated some sorts of special filters in distributive pseudocomplemented lattices. In our paper we extend this study to lattices which need neither be distributive nor pseudocomplemented. For this sake we define a…

Rings and Algebras · Mathematics 2023-06-19 Ivan Chajda , Miroslav Kolařík , Helmut Länger

Interactions between stacked two-dimensional (2D) atomic crystals can radically change their properties, leading to essentially new materials in terms of the electronic structure. Here we show that monolayers placed on an atomically flat…

For a signature $\Sigma$ and its subsignature $\Sigma^{\neq 0}$ without $0$-ary operation symbols, we prove (1) that there are strong Lawvere adjoint cylinders between the category $\mathsf{Ssl}$, of sup-semilattices, and the categories…

Category Theory · Mathematics 2025-05-23 Juan Climent Vidal , Enric Cosme Llópez

We compute some normalized structure constants in the $\eta$-deformed $AdS_5\times S^5$ in the framework of the semiclassical approach. This is done for the cases when the "heavy" string states are finite-size giant magnons carrying one…

High Energy Physics - Theory · Physics 2016-01-12 Plamen Bozhilov

Crisp and lattice-valued ambiguous representations of one continuous semilattice in another one are introduced and operation of taking pseudo-inverse of the above relations is defined. It is shown that continuous semilattices and their…

Category Theory · Mathematics 2019-04-29 Oleh Nykyforchyn , Oksana Mykytsey

We review the status of duality symmetries in superstring theories. These discrete symmetries mark the striking differences between theories of pointlike objects and theories of extended objects. They prove to be very helpful in…

High Energy Physics - Theory · Physics 2011-04-15 Massimo Bianchi

We study the model theoretic strength of various lattices that occur naturally in topology, like closed (semi-linear or semi-algebraic or convex) sets. The method is based on weak monadic second order logic and sharpens previous results by…

Logic · Mathematics 2018-07-26 Marcus Tressl

Various embedding problems of lattices into complete lattices are solved. We prove that for any join-semilattice S with the minimal join-cover refinement property, the ideal lattice IdS of S is both algebraic and dually algebraic.…

General Mathematics · Mathematics 2007-05-23 Friedrich Wehrung

We construct a completely normal bounded distributive lattice D in which for every pair (a, b) of elements, the set {x $\in$ D | a $\le$ b $\lor$ x} has a countable coinitial subset, such that D does not carry any binary operation -…

Rings and Algebras · Mathematics 2019-05-15 Friedrich Wehrung

We exhibit an adjunction between a category of abstract algebras of partial functions and a category of set quotients. The algebras are those atomic algebras representable as a collection of partial functions closed under relative…

Logic · Mathematics 2022-06-15 Célia Borlido , Brett McLean

In this paper, we characterize the congruences of an arbitrary i--lattice, investigate the structure of the lattice they form and how it relates to the structure of the lattice of lattice congruences, then, for an arbitrary non--zero…

Rings and Algebras · Mathematics 2018-12-10 Claudia Muresan

For a large class of Abelian lattice models with sign problems, including the case of non-zero chemical potential, duality maps models with complex actions into dual models with real actions. For extended regions of parameter space,…

High Energy Physics - Lattice · Physics 2013-11-22 Peter N. Meisinger , Michael C. Ogilvie

We derive semiclassical expressions for spectra, weighted by matrix elements of a Gaussian observable, relevant to a range of molecular and mesoscopic systems. We apply the formalism to the particular example of the resonant tunneling diode…

chao-dyn · Physics 2009-10-31 D. S. Saraga , T. S. Monteiro

In the first section of the present work, we introduce the concept of pseudocomplementation for semirings and show semiring version of some known results in lattice theory. We also introduce semirings with pc-functions and prove some…

Commutative Algebra · Mathematics 2018-04-17 Peyman Nasehpour

A new model, in terms of finite bipartite graphs, of the free pseudosemilattice is presented. This will then be used to obtain several results about the variety SPS of all strict pseudosemilattices: (i) an identity basis for SPS is found,…

Rings and Algebras · Mathematics 2019-07-01 K. Auinger , L. Oliveira

We show that the number of conjugacy classes of maximal finite subgroups of a lattice in a semisimple Lie group is linearly bounded by the covolume of the lattice. Moreover, for higher rank groups, we show that this number grows sublinearly…

Group Theory · Mathematics 2012-09-13 Iddo Samet

From a logical point of view, Stone duality for Boolean algebras relates theories in classical propositional logic and their collections of models. The theories can be seen as presentations of Boolean algebras, and the collections of models…

Logic · Mathematics 2013-07-01 Steve Awodey , Henrik Forssell

We show explicitly that Boolean inverse semigroups are in duality with what we term Boolean groupoids. This generalizes the classical Stone duality, which we refer to as commutative Stone duality, between generalized Boolean algebras and…

Category Theory · Mathematics 2022-08-02 Mark V. Lawson

Dualization of a monotone Boolean function on a finite lattice can be represented by transforming the set of its minimal 1 to the set of its maximal 0 values. In this paper we consider finite lattices given by ordered sets of their meet and…

Logic in Computer Science · Computer Science 2015-12-31 Mikhail A. Babin , Sergei O. Kuznetsov