Hypothesis: HR 325:
Ramsey's Theorem II: \(\forall n,m\in\omega\), if A is an infinite set and the family of all \(m\) element subsets of \(A\) is partitioned into \(n\) sets \(S_{j}, 1\le j\le n\), then there is an infinite subset \(B\subseteq A\) such that all \(m\) element subsets of \(B\) belong to the same \(S_{j}\). (Also, see Form 17.)
Conclusion: HR 157:
Theorem of Goodner: A compact \(T_{2}\) space is extremally disconnected (the closure of every open set is open) if and only if each non-empty subset of \(C(X)\) (set of continuous real valued functions on \(X\)) which is pointwise bounded has a supremum.
List of models where hypothesis is true and the conclusion is false:
| Name | Statement |
|---|---|
| \(\cal N3\) Mostowski's Linearly Ordered Model | \(A\) is countably infinite;\(\precsim\) is a dense linear ordering on \(A\) without first or lastelements (\((A,\precsim) \cong (\Bbb Q,\le)\)); \(\cal G\) is the group of allorder automorphisms on \((A,\precsim)\); and \(S\) is the set of all finitesubsets of \(A\) |
Code: 5
Comments: