Results 1 to 10 of about 328 (209)
Separating Function Algebras [PDF]
Nagoya Mathematical Journal, 1972 Recent results of Hoffman and Singer [7], Weiss [10] and Wilken [11] indicate that the study of separation properties play a central rôle in the theory of function algebras. Our purpose in this paper is to investigate a natural separation property of function algebras.
Csordas, G. L., Reiter, H. B.
openaire +2 more sources
Algebraic separation logic [PDF]
The Journal of Logic and Algebraic Programming, 2011 Separation logic is an extension of Hoare logic with reasoning about complex and shared data structures by added assertions to express separation between memory regions. For arbitrary assertions \( p\) and \(q\) the conjunction \(p \star q\) asserts that \(p\) and \(q\) both hold, but each for separate parts of the storage, and \(p-\star q\) holds for ...
Dang, Han Hing +2 more
openaire +1 more source
On the monoidal invariance of the cohomological dimension of Hopf algebras
Comptes Rendus. Mathématique, 2022 We discuss the question of whether the global dimension is a monoidal invariant for Hopf algebras, in the sense that if two Hopf algebras have equivalent monoidal categories of comodules, then their global dimensions should be equal.
Bichon, Julien
doaj +1 more source
On sets of terms having a given intersection type [PDF]
Logical Methods in Computer Science, 2022 Working in a variant of the intersection type assignment system of Coppo, Dezani-Ciancaglini and Venneri [1981], we prove several facts about sets of terms having a given intersection type. Our main result is that every strongly normalizing term M admits
Andrew Polonsky, Richard Statman
doaj +1 more source
Infinite-dimensional Categorical Quantum Mechanics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 We use non-standard analysis to define a category *Hilb suitable for categorical quantum mechanics in arbitrary separable Hilbert spaces, and we show that standard bounded operators can be suitably embedded in it.
Stefano Gogioso, Fabrizio Genovese
doaj +1 more source
On Orders In Separable Algebras [PDF]
Canadian Journal of Mathematics, 1955 Introduction. The present note began from the observation that the arguments produced by J-M. Maranda in developing his very interesting theory of representations of groups by automorphisms of modules over Dedekind rings (4, 5) were applicable without essential change to arbitrary orders, instead of just group rings, provided that a suitable ...
openaire +2 more sources
A NONSEPARABLE AMENABLE OPERATOR ALGEBRA WHICH IS NOT ISOMORPHIC TO A $C^*$ -ALGEBRA
Forum of Mathematics, Sigma, 2014 It has been a long-standing question whether every amenable operator algebra is isomorphic to a (necessarily nuclear) $\mathrm{C}^*$ -algebra.
YEMON CHOI, ILIJAS FARAH, NARUTAKA OZAWA
doaj +1 more source
On the isomorphism class of $q$-Gaussian W$^\ast $-algebras for infinite variables
Comptes Rendus. Mathématique, 2023 Let $M_q(H_{\mathbb{R}})$ be the $q$-Gaussian von Neumann algebra associated with a separable infinite dimensional real Hilbert space $H_{\mathbb{R}}$ where $-1 < q < 1$. We show that $M_q(H_{\mathbb{R}}) \lnot \simeq M_0(H_{\mathbb{R}})$ for $-1 < q \ne
Caspers, Martijn
doaj +1 more source
Orders in separable algebras [PDF]
Proceedings of the American Mathematical Society, 1975 The module P ∗
openaire +1 more source
On algebraic abstractions for concurrent separation logics [PDF]
Proceedings of the ACM on Programming Languages, 2021 Concurrent separation logic is distinguished by transfer of state ownership upon parallel composition and framing. The algebraic structure that underpins ownership transfer is that of partial commutative monoids (PCMs). Extant research considers ownership transfer primarily from the logical perspective while comparatively less attention is drawn to the
Frantisek Farka +4 more
openaire +3 more sources