Hypothesis: HR 305:

There are \(2^{\aleph_0}\) Vitali equivalence classes. (Vitali equivalence classes are equivalence classes of the real numbers under the relation \(x\equiv y\leftrightarrow(\exists q\in{\Bbb Q})(x-y=q)\).). \ac{Kanovei} \cite{1991}.

Conclusion: HR 124:

Every operator on a Hilbert space with an amorphous base is the direct sum of a finite matrix and  a  scalar operator.  (A set is amorphous if it is not the union of two disjoint infinite sets.)

List of models where hypothesis is true and the conclusion is false:

Name Statement
\(\cal N24\) Hickman's Model I This model is a variation of \(\cal N2\)

Code: 3

Comments:


Edit | Back