Form equivalence class Howard-Rubin Number: 1
Statement:
Let \(S\) be any family of disjoint non-empty sets andlet \(\tau = (\bigcup S)\), then any homomorphism from \(\frak P(\tau;\bigcup S)\)into \(\frak P(\tau;S)\) maps \(\frak P(\tau;\bigcup S)\) onto a subalgebra of \(\frak P(\tau;S)\).
Howard-Rubin number: 1 AR
Citations (articles):
Diener [1989]
Two new algebraic equivalents to the axiom of choice
Connections (notes):
Note [115]
Definitions from Diener [1989]
References (books):
Back