English
Related papers

Related papers: Boolean Lifting Property for Residuated Lattices

200 papers

We show how several results about p-adic lattices generalize easily to lattices over valuation ring of arbitrary rank having only the Henselian property for quadratic polynomial. If 2 is invertible we obtain the uniqueness of the Jordan…

Commutative Algebra · Mathematics 2020-08-12 Shaul Zemel

In the paper, we investigate the lifting of recollements with respect to Gorenstein-projective modules. Specifically, a homological ring epimorphism can induce a lifting of the recollement of the stable category of finitely generated…

Representation Theory · Mathematics 2022-09-08 Nan Gao , Jing Ma

Geometric lattices are characterized in this paper as those finite, atomic lattices such that every atom ordering induces a lexicographic shelling given by an edge labeling known as a minimal labeling. Equivalently, geometric lattices are…

Combinatorics · Mathematics 2013-10-17 Ruth Davidson , Patricia Hersh

Bloom filters are space-efficient probabilistic data structures that are used to test whether an element is a member of a set, and may return false positives. Recently, variations referred to as learned Bloom filters were developed that can…

Data Structures and Algorithms · Computer Science 2020-10-06 Kapil Vaidya , Eric Knorr , Tim Kraska , Michael Mitzenmacher

Bloch oscillations (BO) in complex lattices with PT symmetry are theoretically investigated with specific reference to optical BO in photonic lattices with gain/loss regions. Novel dynamical phenomena with no counterpart in ordinary…

Other Condensed Matter · Physics 2010-01-08 S. Longhi

We prove that the category of ordered abelian groups equipped with an automorphism has the Amalgamation Property, deduce that their inductive theory is NIP in the sense of positive logic, and initiate a development of the latter framework.…

Logic · Mathematics 2025-03-14 Jan Dobrowolski , Rosario Mennuni

The bubble transform is a procedure to decompose differential forms, which are piecewise smooth with respect to a given triangulation of the domain, into a sum of local bubbles. In this paper, an improved version of a construction in the…

Numerical Analysis · Mathematics 2025-01-27 Richard S. Falk , Ragnar Winther

Our first result provides a new characterization of Auslander algebras using a property of hereditary torsion pairs. The second result shows an Auslander algebra $\Lambda$ is left or right glued if and only if $\Lambda$ is…

Representation Theory · Mathematics 2021-07-07 Stephen Zito

For a given complete lattice L, we investigate whether L can be decomposed as a direct product of directly indecomposable lattices. We prove that this is the case if every element of L is a join of join-irreducible elements and dually, thus…

General Mathematics · Mathematics 2007-05-23 Friedrich Wehrung

We define a Newman property for BLD-mappings and study its connections to the porosity of the branch set in the setting of generalized manifolds equipped with complete path metrics.

Metric Geometry · Mathematics 2019-06-14 Rami Luisto

This article offers a comprehensive survey of results obtained for solitons and complex nonlinear wave patterns supported by purely nonlinear lattices (NLs), which represent a spatially periodic modulation of the local strength and sign of…

Optics · Physics 2015-05-20 Yaroslav V. Kartashov , Boris A. Malomed , Lluis Torner

We present a non-standard proof of the fact that the existence of a local (i.e. restricted to a point) characteristic-zero, semi-parametric lifting for a variety defined by the zero locus of polynomial equations over the integers is…

Commutative Algebra · Mathematics 2017-07-26 Edisson Gallego , Danny A. J. Gomez-Ramirez , Juan D. Velez

The concept of operator residuation for bounded posets with unary operation was introduced by the first two authors. It turns out that in some cases when these operators are transformed into lattice terms and the poset ${\mathbf P}$ is…

Logic · Mathematics 2018-12-27 Ivan Chajda , Helmut Länger , Jan Paseka

The characterization of level sets of finite Boolean lattices as antichain cutsets, due to Rival and Zaguia, is seen to hold in all discrete semimodular lattices.

Combinatorics · Mathematics 2011-03-01 Stephan Foldes

Given two complete atomistic lattices L_1 and L_2, we define a set S(L_1,L_2) of complete atomistic lattices by means of three axioms (natural regarding the description of separated quantum compound systems), or in terms of a universal…

Logic · Mathematics 2011-09-08 Boris Ischi

Our main result is that any topological algebra based on a Boolean space is the extended Stone dual space of a certain associated Boolean algebra with additional operations. A particular case of this result is that the profinite completion…

Logic · Mathematics 2013-09-13 Mai Gehrke

The aim of this note is to point out a convexity property with respect to the root lattice for the support of the highest weights that occur in a tensor product of irreducible rational representations of $SL(n)$ over the complex numbers.…

Representation Theory · Mathematics 2021-07-06 Hariharan Narayanan , C. S. Rajan

We study left invariant locally conformally product structures on simply connected Lie groups and give their complete description in the solvable unimodular case. Based on previous classification results, we then obtain the complete list of…

Differential Geometry · Mathematics 2024-12-25 Adrián Andrada , Viviana del Barco , Andrei Moroianu

It is an easy observation that every residuated lattice is in fact a semiring because multiplication distributes over join and the other axioms of a semiring are satisfied trivially. This semiring is commutative, idempotent and simple. The…

Rings and Algebras · Mathematics 2018-09-21 Ivan Chajda , Helmut Länger

We consider a Banach algebra $A$ with the property that, roughly speaking, sufficiently many irreducible representations of $A$ on nontrivial Banach spaces do not vanish on all square zero elements. The class of Banach algebras with this…

Operator Algebras · Mathematics 2013-07-09 J. Alaminos , M. Brešar , J. Extremera , Š. Špenko , A. R. Villena