Statement:
(Where \(p\) is a prime) AL20(\(\mathbb Z_p\)): Every vector space \(V\) over \(\mathbb Z_p\) has the property that every linearly independent subset can be extended to a basis. (\(\mathbb Z_p\) is the \(p\) element field.) Rubin, H./Rubin, J. [1985], p. 119, Statement AL20
Howard_Rubin_Number: 28-p
Parameter(s): This form depends on the following parameter(s): \(p\),
This form's transferability is: Unknown
This form's negation transferability is: Negation Transferable
Article Citations:
Bleicher-1964: Some theorems on vector spaces and the axiom of choice
Book references
Equivalents of the Axiom of Choice II, Rubin, J., 1985
Note connections: