Form equivalence class Howard-Rubin Number: 50
Statement: Monteiro's Theorem: Let \(K\) be a complete Booleanalgebra, \(A\) a subalgebra of the Boolean algebra \(B\) and \(f\) ahomomorphism from \(A\) to \(K\). Let \(d\) be a semimorphism from \(B\) into\(K\) (that is, \(d: B\to K,\ d(0)=0,\ d(1)=1\) and for all \(x\) and \(y\) in\(B\), \(d(x\lor y)=d(x)\lor d(y)\)) with \(f(x)\le d(x)\) for all \(x\in A\).Then there is a homomorphism \(h\) from \(B\) to \(K\) such that \(h(x)\le d(x)\)for all \(x \in B\) and \(h/A = f\). Monteiro [1965] and Bacsich [1972a].
Howard-Rubin number: 50 B
Citations (articles):
Connections (notes):
References (books):
Back