Form equivalence class Howard-Rubin Number: 201
Statement:
Strong Linking Axiom for Boolean Algebras: Each linked system in a Boolean algebra is contained in some maximal linked system. (If \(B\) is a Boolean algebra, \(L\subseteq B\) is linked if \(a\wedge b\neq 0\) for all \(a\) and \(b\in L\).)
Howard-Rubin number: 201 A
Citations (articles):
Schrijver [1978]
The dependence of some logical axioms on disjoint transversals and linked systems
Connections (notes):
References (books):
Back