Hypothesis: HR 0: \(0 = 0\).
Conclusion: HR 176:
Every infinite, locally finite group has an infinite Abelian subgroup. (Locally finite means every finite subset generates a finite subgroup.)
List of models where hypothesis is true and the conclusion is false:
| Name | Statement |
|---|---|
| \(\cal M22\) Plotkin's Model I | Let \(T\) be a complete first order theory with equality which has infinite models and is \(\aleph_0\)-categorical |
Code: 3
Comments: