Results 21 to 30 of about 716,684 (170)
Playful Boolean algebras [PDF]
Transactions of the American Mathematical Society, 1986 We show that for an atomless complete Boolean algebra B \mathcal {B} of density ≤ 2 ℵ 0 \leq {2^{{\aleph _0}}} , the Banach-Mazur, the split ...
openaire +2 more sources
Free-Boolean independence for pairs of algebras [PDF]
Journal of Functional Analysis, 2017 We construct pairs of algebras with mixed independence relations by using truncations of reduced free products of algebras. For example, we construct free-Boolean pairs of algebras and free-monotone pairs of algebras.
Weihua Liu
semanticscholar +1 more source
On the isomorphism problem of concept algebras [PDF]
, 2010 Weakly dicomplemented lattices are bounded lattices equipped with two unary operations to encode a negation on {\it concepts}. They have been introduced to capture the equational theory of concept algebras \cite{Wi00}.
B Ganter +9 more
core +4 more sources
Algebraic Geometry Over Boolean Algebras in the Language with Constants [PDF]
, 2013 We study equations over Boolean algebras with distinguished elements. We prove criteria for which a Boolean algebra is equationally Noetherian, weakly equationally Noetherian, qω-compact, or uω-compact.
A. Shevlyakov
semanticscholar +1 more source
Boolean algebras and Lubell functions [PDF]
Journal of Combinatorial Theory, 2013 Let 2 n denote the power set of n , where n = { 1 , 2 , ? , n } . A collection B ? 2 n forms a d-dimensional Boolean algebra if there exist pairwise disjoint sets X 0 , X 1 , ? , X d ? n , all non-empty with perhaps the exception of X 0 , so that B = { X
Travis Johnston +2 more
semanticscholar +1 more source
Semisimple Varieties of Implication Zroupoids [PDF]
, 2015 It is a well known fact that Boolean algebras can be defined using only implication and a constant. In 2012, this result was extended to De Morgan algebras in [8] which led Sankappanavar to introduce, and investigate, the variety I of implication ...
Cornejo, Juan M. +1 more
core +2 more sources
Annals of Pure and Applied Logic, 1985 Let \(\kappa\) be the cofinality of \(2^{\aleph_ 0}\). There exists a Boolean algebra B of cardinality \(\kappa\) with the property that every subset of B of size \(\kappa\) contains two elements a and b such that ...
Bonnet, Robert, Shelah, Saharon
openaire +2 more sources
A note on Maximality of ideal-independent sets [PDF]
, 2012 In this note we derive a property of maximal ideal-independent subsets of boolean algebras which has corollaries regarding the continuum cardinals p and s_mm(P(omega)/fin)
Bruns, Corey Thomas
core +3 more sources
Satisfiability in multi-valued circuits
, 2017 Satisfiability of Boolean circuits is among the most known and important problems in theoretical computer science. This problem is NP-complete in general but becomes polynomial time when restricted either to monotone gates or linear gates.
Freese Ralph +5 more
core +1 more source
Advanced Science, EarlyView.The inhibitory immune checkpoints HLA‐G and CD47 are expressed on certain tumor types and inhibit immune cells in the tumor microenvironment. DSP216 binds specifically to cancer cells expressing both HLA‐G and CD47, and blocks their inhibitory signaling.
Lisa J. Jacob +12 more
wiley +1 more source