Results 21 to 30 of about 945 (231)
Rudin-Keisler Posets of Complete Boolean Algebras [PDF]
Mathematical Logic Quarterly, 2001 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Peter Jipsen +2 more
exaly +3 more sources
Complete Boolean Algebras are Bousfield Lattices [PDF]
, 2018 Given a complete Heyting algebra we construct an algebraic tensor triangulated category whose Bousfield lattice is the Booleanization of the given Heyting algebra. As a consequence we deduce that any complete Boolean algebra is the Bousfield lattice of some tensor triangulated category.
Greg Stevenson
openalex +4 more sources
A representation theorem for Boolean contact algebras [PDF]
Theoretical Computer Science, 2005 We prove a representation theorem for Boolean contact algebras which implies that the axioms for the region connection calculus (RCC) [D.A. Randell, A.G. Cohn, Z. Cui, Computing transitivity tables: a challenge for automated theorem provers, in: D. Kapur
Ivo Düntsch, Michael Winter
exaly +2 more sources
Simple complete Boolean algebras [PDF]
Israel Journal of Mathematics, 1974 IfV=L, and κ is an uncountable regular non weakly compact cardinal, then there exists a simple complete Boolean algebra of cardinality κ.
exaly +2 more sources
Extremal Problems for Sets Forming Boolean Algebras and Complete Partite Hypergraphs
Journal of Combinatorial Theory - Series A, 1999 Three classes of finite structures are related by extremal properties: complete d-partite d-uniform hypergraphs, d-dimensional affine cubes of integers, and families of 2d sets forming a d-dimensional Boolean algebra.
Gunderson, David S. +2 more
exaly +2 more sources
Complete theories of boolean algebras [PDF]
, 2018 Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2018, Director: Enrique Casanovas Ruiz-Fornells[en] Boolean algebras are well-known mathematical structures.
Trullenque Ortiz, Clara
core +2 more sources
Principal and Boolean Congruences on $$\varvec{IKt}$$ IKt -Algebras [PDF]
Studia Logica, 2018 The IKt-algebras were introduced in the paper An algebraic axiomatization of the Ewald’s intuitionistic tense logic by the first and third author. In this paper, our main interest is to investigate the principal and Boolean congruences on IKt-algebras ...
Aldo V Figallo +2 more
exaly +2 more sources
MEASURE THEORY OF COMPLETE BOOLEAN ALGEBRAS
Memoirs of the Faculty of Science, Kyushu University. Series A, Mathematics, 1952 Minoru Tomita
openalex +4 more sources
Fock structure of complete Boolean algebras of type I factors and of unital factorizations
Journal of Mathematical Analysis and ApplicationsThe factorizable vectors of a complete Boolean algebra of type I factors, acting on a separable Hilbert space, are shown to be total, resolving a conjecture of Araki and Woods.
Matija Vidmar
exaly +4 more sources
Duality for powerset coalgebras [PDF]
Logical Methods in Computer Science, 2022 Let CABA be the category of complete and atomic boolean algebras and complete boolean homomorphisms, and let CSL be the category of complete meet-semilattices and complete meet-homomorphisms. We show that the forgetful functor from CABA to CSL has a left
Guram Bezhanishvili +2 more
doaj +1 more source