Results 11 to 20 of about 914 (176)
No-go theorems for functorial localic spectra of noncommutative rings [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 Any functor from the category of C*-algebras to the category of locales that assigns to each commutative C*-algebra its Gelfand spectrum must be trivial on algebras of nxn-matrices for n at least 3. The same obstruction applies to the Zariski, Stone, and
Benno van den Berg, Chris Heunen
doaj +1 more source
A Coalgebraic Approach to Dualities for Neighborhood Frames [PDF]
Logical Methods in Computer Science, 2022 We develop a uniform coalgebraic approach to J\'onsson-Tarski and Thomason type dualities for various classes of neighborhood frames and neighborhood algebras.
Guram Bezhanishvili +2 more
doaj +1 more source
Semidegenerate Congruence-modular Algebras Admitting a Reticulation
Scientific Annals of Computer Science, 2023 The reticulation L(R) of a commutative ring R was introduced by Joyal in 1975, then the theory was developed by Simmons in a remarkable paper published in 1980. L(R) is a bounded distributive algebra whose main property is that the Zariski prime
George Georgescu
doaj +1 more source
Characterization of Almost Semi-Heyting Algebra
Discussiones Mathematicae - General Algebra and Applications, 2020 In this paper, we initiate the discourse on the properties that hold in an almost semi-Heyting algebra but not in an semi-Heyting almost distributive lattice.
Srikanth V.V.V.S.S.P.S. +2 more
doaj +1 more source
Amalgamation Property in the subvarieties of Gautama and Almost Gautama Algebras [PDF]
Journal of Mahani Mathematical ResearchGautama algebras were introduced in 2022, as a common generalization of regular double Stone algebras and regular Kleene Stone algebras. Even more recently, Gautama algebras were further generalized to Almost Gautama algebras (AG for short).
Juan M. Cornejo +1 more
doaj +1 more source
Discrete Mathematics, 2000 An algebra \(L=(L;\vee, \wedge,\phantom{}^*, 0,1)\) of type \((2,2,1,0,0)\) is called a Stone algebra, if \((L;\vee, \wedge,0,1)\) is a bounded distributive lattice, \(\phantom{}^*\) is a pseudocomplementation, i.e. \(a\wedge x=0\) if and only if \(x\leq a^*\), and \(L\) satisfies the identity \(x^*\vee x^{**}=1\).
Roberto Cignoli, Antoni Torrens
openaire +2 more sources
Gelfand theorem implies Stone representation theorem of Boolean rings
International Journal of Mathematics and Mathematical Sciences, 1995 Stone Theorem about representing a Boolean algebra in terms of open-closed subsets of a topological space is a consequence of the Gelfand Theorem about representing a B∗- algebra as the algebra of continuous functions on a compact Hausdorff space.
Parfeny P. Saworotnow
doaj +1 more source
Mathematical Logic Quarterly, 2009 AbstractIn this paper we shall introduce the variety WQS of weak‐quasi‐Stone algebras as a generalization of the variety QS of quasi‐Stone algebras introduced in [9]. We shall apply the Priestley duality developed in [4] for the variety N of ¬‐lattices to give a duality for WQS. We prove that a weak‐quasi‐Stone algebra is characterized by a property of
Sergio A. Celani, Leonardo Manuel Cabrer
openaire +3 more sources
On $p$-convexification of the Banach-Kantorovich lattice [PDF]
E-Journal of Analysis and Applied MathematicsLet $B$ be a complete Boolean algebra, $Q(B)$ the Stone compact of $B$, and let $C_\infty (Q(B))$ be the commutative unital algebra of all continuous functions $x: Q(B) \to [-\infty, +\infty]$, assuming possibly the values $\pm\infty$ on nowhere-dense ...
Gavhar B. Zakirova
doaj +1 more source
Optimising Amber Processing Using 3D Scanning: New Perspectives in Cultural Heritage
Applied Sciences, 2023 This article aims to present the practical and functional application of advanced 3D scanning technologies in the process of designing products made of amber.
Sylwester Korga +3 more
doaj +1 more source