Form equivalence class Howard-Rubin Number: 308-p
Statement:
If \(p\) is a prime and if \(Y\) is a set of non-empty finite sets such that \((\forall y\in Y)(|y|\equiv 1\mod p)\), then \(Y\) has a choice function. (This is similar to Form 46(\(K\)), but in Form 46(\(K\)) the set \(K\) is required to be finite.)
Howard-Rubin number: 308 C-p
Citations (articles):
Howard/Yorke [1987]
Maximal p-subgroups and the axiom of choice
Connections (notes):
References (books):
Back