Form equivalence class Howard-Rubin Number: 1
Statement:
For any type \(\tau\) of the form \(\tau = (M)\), everyhomomorphism of an algebra of type \(\tau\) is closed.
Howard-Rubin number: 1 AP
Citations (articles):
Diener [1989]
Two new algebraic equivalents to the axiom of choice
Connections (notes):
Note [115]
Definitions from Diener [1989]
References (books):
Back