Results 51 to 60 of about 1,225 (183)
Compactable semilattices [PDF]
, 2010 We characterize those semilattices that give rise to Boolean spaces on their associated spaces of ultrafilters. The class of 0-disjunctive semilattices, important in the theory of congruence-free inverse semigroups, plays a distinguished role in this ...
M. V. Lawson, Lawson, M. V.
core +1 more source
Compact totally instable zero-dimensional semilattices [PDF]
, 1977 Totally instable semilattices are discussed. A construction process is described which creates a large family of totally instable semilattices having the property that any connected surmorphic image of one of these semilattices must be ...
Brown, D.R., Stralka, A.R.
core +1 more source
Diego’s Theorem for nuclear implicative semilattices [PDF]
, 2020 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 this we develop
Bezhanishvili, N. +5 more
core +1 more source
SEMILATTICES AND K-FINITE OBJECTS
Revista de Matemática: Teoría y Aplicaciones, 2017 We prove that for X Є ǀ E ǀ, E elementary topos, the following properties are equivalent: (a) X is K-finite, (b) for every upper semilattice B, the diagonal B → BX has a left adjoint.
OSVALDO ACUÑA ORTEGA
doaj +1 more source
Open Mathematics, 2014 In this paper we shall study a notion of relative annihilator-preserving congruence relation and relative annihilator-preserving homomorphism in the class of bounded distributive semilattices. We shall give a topological characterization of this class of
Celani Sergio A.
doaj +1 more source
Locality and Applications to Subsumption Testing in EL and Some of its Extensions [PDF]
Scientific Annals of Computer Science, 2013 In this paper we show that subsumption problems in the description logics {{mathcal|EL}} and EL+ can be expressed as uniform word problems in classes of semilattices with monotone operators.
V. Sofronie-Stokkermans
doaj +1 more source
Relatively pseudocomplemented posets [PDF]
Mathematica Bohemica, 2018 We extend the notion of a relatively pseudocomplemented meet-semilattice to arbitrary posets. We show some properties of the binary operation of relative pseudocomplementation and provide some corresponding characterizations.
Ivan Chajda, Helmut Länger
doaj +1 more source
Ring-like operations is pseudocomplemented semilattices [PDF]
, 2000 Ring-like operations are introduced in pseudocomplemented semilattices in such a way that in the case of Boolean pseudocomplemented semilattices one obtains the corresponding Boolean ring operations.
Länger, Helmut, Chajda, Ivan
core +1 more source
On Multilevel Energy‐Based Fragmentation Methods
International Journal of Quantum Chemistry, Volume 126, Issue 3, February 5, 2026.We investigate the working equations of energy‐based fragmentation methods and present ML‐SUPANOVA, a Möbius‐inversion‐based multilevel fragmentation scheme that enables adaptive, quasi‐optimal truncations to efficiently approximate Born‐Oppenheimer potentials across hierarchies of electronic‐structure methods and basis sets.
James Barker +2 more
wiley +1 more source
Congruence classes in Brouwerian semilattices [PDF]
, 2001 Brouwerian semilattices are meet-semilattices with 1 in which every element a has a relative pseudocomplement with respect to every element b, i. e. a greatest element c with a∧c ≤ b.
Länger, Helmut, Chajda, Ivan
core +1 more source