Form equivalence class Howard-Rubin Number: 50
Statement: If \(m: A\to B\) is a monomorphism between Booleanalgebras, then there is an \(m\)-minimal epimorphism \(p: B\to C\) to someBoolean algebra \(C\). (\(p\) is \(m\)-minimal if (1) \(p\circ m\) is monic and(2) if \(q:C\to D\) is any epimorphism to a Boolean algebra \(D\) such that\(q\circ p\circ m\) is monic, then \(q\) is an isomorphism.) Bell [1988].
Howard-Rubin number: 50 H
Citations (articles):
Connections (notes):
References (books):
Back