Form equivalence class Howard-Rubin Number: 1
Statement:
For any type \(\tau\) of the form \(\tau = (M)\), every homomorphism of an algebra A of type \(\tau\) into an algebra B of type \(\tau\) maps A onto a subalgebra of B.
Howard-Rubin number: 1 AQ
Citations (articles):
Diener [1989]
Two new algebraic equivalents to the axiom of choice
Connections (notes):
Note [105]
Proofs for the models given in 2B3-2B6 of Pincus [1972a]
References (books):
Back