Form equivalence class Howard-Rubin Number: 1
Statement:
Assume \(f: S\rightarrow R\) where \(f\) is surjective and \(R\subseteq S\).Then every mapping \(g\) of \(S\) into \(R\) has the form \(g = f\circ h\) for some \(h: S \rightarrow S\).
Howard-Rubin number: 1 AA
Citations (articles):
Smith [1982]
Three propositions equivalent to the axiom of choice
Connections (notes):
References (books):
Back