Nearlattices with an overriding operation (Q633219): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s11083-010-9152-6 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2171528122 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5532577 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Jónsson-Kiefer property / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3731650 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3138859 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3934450 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Operations on records / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4807556 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4415492 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4941909 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Weakly distributive semilattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3887460 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Standard elements in a nearlattice / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5559529 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4530231 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The structure of the lattices of quasivarieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Congruence lattices of \(p\)-algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The strong independence theorem for automorphism groups and congruence lattices of finite lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The poset structure of positive implicative BCK-algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Join algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Note on idempotent semigroups, I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Recent developments in the theory of skew lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Isotopes of nearlattices / rank | |||
Normal rank |
Latest revision as of 22:58, 3 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Nearlattices with an overriding operation |
scientific article |
Statements
Nearlattices with an overriding operation (English)
0 references
31 March 2011
0 references
A nearlattice is a meet semilattice in which every initial segment is a lattice. It is said to be Boolean if all of these lattices are Boolean. Overriding of \(a\) and \(b\) is a binary operation defined as the supremum of all elements \(x\) such that \(x\) is below \(a\) and the join of \(x\) and \(b\) exists or \(x\) is below \(b\). In particular, overriding extends the partial join operation. Natural examples of overriding nearlattices are, e.g., trees and appropriate algebras of partial functions. For example, every complete semilattice is an overriding nearlattice. In a particular case, an overriding nearlattice becomes the so-called o-nearlattice where the operation of overriding coincides with join. In the paper, elementary properties of orerriding are studied, an axiomatic description is obtained and several results concerning associativity of this operation are presented. Functional o-semilattices are studied and subdirectly irreducible members of this variety are characterized. The main result is a representation theorem for Boolean nearlattices with associative overriding.
0 references
nearlattice
0 references
semilattice
0 references
overriding
0 references
tree
0 references
subdirect irreducibility
0 references
0 references