Tensor products of Boolean algebras

Author(s):  
R. S. Pierce
10.29007/mtw5 ◽  
2018 ◽  
Author(s):  
Ilya Shapirovskiy ◽  
Valentin Shehtman

We consider shifted products of modal algebras and logics first introduced by Y. Hasimoto in 2000. For logics this operation is similar to the well-known usual product but it is logically invariant. We prove the conjecture of D. Gabbay that shifted products act on Boolean algebras exactly as tensor products, so we call them tensor products of modal algebras. We also propose a filtration technique for models based on tensor products and obtain some decidability results.


1979 ◽  
Vol 2 (1) ◽  
pp. 17-41
Author(s):  
Michał Jaegermann

In the paper is developed a theory of information storage and retrieval systems which arise in situations when a whole possessed information amounts to a fact that a given document has some feature from properly chosen set. Such systems are described as suitable maps from descriptor algebras into sets of subsets of sets of documents. Since descriptor algebras turn out to be pseudo-Boolean algebras, hence an “inner logic” of our systems is intuitionistic. In the paper is given a construction of systems and are considered theirs properties. We will show also (in Part II) a formalized theory of such systems.


2021 ◽  
Vol 8 (3) ◽  
Author(s):  
Jan Draisma ◽  
Felipe Rincón

AbstractEvery tropical ideal in the sense of Maclagan–Rincón has an associated tropical variety, a finite polyhedral complex equipped with positive integral weights on its maximal cells. This leads to the realisability question, ubiquitous in tropical geometry, of which weighted polyhedral complexes arise in this manner. Using work of Las Vergnas on the non-existence of tensor products of matroids, we prove that there is no tropical ideal whose variety is the Bergman fan of the direct sum of the Vámos matroid and the uniform matroid of rank two on three elements and in which all maximal cones have weight one.


2021 ◽  
Vol 8 (1) ◽  
pp. 48-59
Author(s):  
Fernanda Botelho ◽  
Richard J. Fleming

Abstract Given Banach spaces X and Y, we ask about the dual space of the 𝒧(X, Y). This paper surveys results on tensor products of Banach spaces with the main objective of describing the dual of spaces of bounded operators. In several cases and under a variety of assumptions on X and Y, the answer can best be given as the projective tensor product of X ** and Y *.


2021 ◽  
pp. 1-14
Author(s):  
R.M. CAUSEY

Abstract Galego and Samuel showed that if K, L are metrizable, compact, Hausdorff spaces, then $C(K)\widehat{\otimes}_\pi C(L)$ is c0-saturated if and only if it is subprojective if and only if K and L are both scattered. We remove the hypothesis of metrizability from their result and extend it from the case of the twofold projective tensor product to the general n-fold projective tensor product to show that for any $n\in\mathbb{N}$ and compact, Hausdorff spaces K1, …, K n , $\widehat{\otimes}_{\pi, i=1}^n C(K_i)$ is c0-saturated if and only if it is subprojective if and only if each K i is scattered.


Sign in / Sign up

Export Citation Format

Share Document