Hypothesis: HR 91:
\(PW\): The power set of a well ordered set can be well ordered.
Conclusion: HR 238:
Every elementary Abelian group (that is, for some prime \(p\) every non identity element has order \(p\)) is the direct sum of cyclic subgroups.
List of models where hypothesis is true and the conclusion is false:
| Name | Statement |
|---|---|
| \(\cal N32\) Hickman's Model III | This is a variation of \(\cal N1\) |
Code: 5
Comments: