Results 31 to 40 of about 222 (59)
A special class of congruences on $\kappa$-frames
, 2017 Madden has shown that in contrast to the situation with frames, the smallest dense quotient of a $\kappa$-frame need not be Boolean. We characterise these so-called d-reduced $\kappa$-frames as those which may be embedded as a generating sub-$\kappa ...
Manuell, Graham
core +1 more source
Complemented congruences on double Ockham algebras [PDF]
, 2007 For $n ∈ \mathbb{N}$ and $m ∈ \mathbb{N}_0$, an algebra $L = (L, ∧, ∨, f, g, 0, 1)$ of type $(2, 2, 1, 1, 0, 0)$ is said to be a double $K_{n,m}$-algebra, if L is a double Ockham algebra that satisfies the identities $f^{2n+m} = f^m, g^{2n+m} = g^m, fg
Mendes, C.
core +1 more source
Completely inverse $AG^{**}$-groupoids [PDF]
, 2013 A completely inverse $AG^{**}$-groupoid is a groupoid satisfying the identities $(xy)z=(zy)x$, $x(yz)=y(xz)$ and $xx^{-1}=x^{-1}x$, where $x^{-1}$ is a unique inverse of $x$, that is, $x=(xx^{-1})x$ and $x^{-1}=(x^{-1}x)x^{-1}$.
Dudek, Wieslaw A., Gigoń, Roman S.
core +2 more sources
Congruences and Trajectories in Planar Semimodular Lattices
Discussiones Mathematicae - General Algebra and Applications, 2018 A 1955 result of J. Jakubík states that for the prime intervals p and q of a finite lattice, con(p) ≥ con(q) iff p is congruence-projective to q (via intervals of arbitrary size).
Grätzer G.
doaj +1 more source
The prime filter theorem of lattice implication algebras
, 2001 Using a special set x −1 F , we give an equivalent condition for a filter to be prime, and applying this result, we provide the prime filter theorem in lattice implication algebras. 2000 Mathematics Subject Classification. Primary 03G10, 06B10, 54E15. 1.
Y. Jun
semanticscholar +1 more source
A new approach for data transmission system on topological surfaces
, 2012 This work introduces a new data transmission system in which the main blocks, coding, modulation and channel are designed on a Riemannian manifolds. An intrinsic algebraic structure to the manifolds (surface), the homology group will be used to compose ...
J. Lima +2 more
semanticscholar +1 more source
Numerical solution of coupled mass and energy balances during osmotic microwave dehydration
, 2012 The mass and energy transfer during osmotic microwave drying (OD-MWD) process was studied theoretically by modeling and numerical simulation. With the aim to describe the transport phenomena that occurs during the combined dehydration process, the mass ...
J. R. Arballo +2 more
semanticscholar +1 more source
A note on finite lattices with many congruences [PDF]
, 2017 By a twenty year old result of Ralph Freese, an $n$-element lattice $L$ has at most $2^{n-1}$ congruences. We prove that if $L$ has less than $2^{n-1}$ congruences, then it has at most $2^{n-2}$ congruences.
Czédli, Gábor
core +1 more source
Σ-GENOMORPHISM OF ALGEBRAIC STRUCTURES
, 2003 For an algebraic structure A = (A, F, R) of type r and a set E of open formulas of the first order language L(r) , the concept of ¿-closed subset of A was introduced in [3].
P. Emanovský
semanticscholar +1 more source
Semilattices of finitely generated ideals of exchange rings with finite stable rank
, 2004 We find a distributive (v, 0, 1)-semilattice S of size $ aleph\_1$ that is not isomorphic to the maximal semilattice quotient of any Riesz monoid endowed with an order-unit of finite stable rank.
Wehrung, Friedrich
core +5 more sources