Page 1

Displaying 1 – 4 of 4

Showing per page

Partitions of k -branching trees and the reaping number of Boolean algebras

Claude Laflamme (1993)

Commentationes Mathematicae Universitatis Carolinae

The reaping number 𝔯 m , n ( 𝔹 ) of a Boolean algebra 𝔹 is defined as the minimum size of a subset 𝒜 𝔹 { 𝐎 } such that for each m -partition 𝒫 of unity, some member of 𝒜 meets less than n elements of 𝒫 . We show that for each 𝔹 , 𝔯 m , n ( 𝔹 ) = 𝔯 m n - 1 , 2 ( 𝔹 ) as conjectured by Dow, Steprāns and Watson. The proof relies on a partition theorem for finite trees; namely that every k -branching tree whose maximal nodes are coloured with colours contains an m -branching subtree using at most n colours if and only if n < k m - 1 .

Prime ideal theorem for double Boolean algebras

Léonard Kwuida (2007)

Discussiones Mathematicae - General Algebra and Applications

Double Boolean algebras are algebras (D,⊓,⊔,⊲,⊳,⊥,⊤) of type (2,2,1,1,0,0). They have been introduced to capture the equational theory of the algebra of protoconcepts. A filter (resp. an ideal) of a double Boolean algebra D is an upper set F (resp. down set I) closed under ⊓ (resp. ⊔). A filter F is called primary if F ≠ ∅ and for all x ∈ D we have x ∈ F or x F . In this note we prove that if F is a filter and I an ideal such that F ∩ I = ∅ then there is a primary filter G containing F such that G...

Currently displaying 1 – 4 of 4

Page 1