Hypothesis: HR 0: \(0 = 0\).
Conclusion: HR 230:
\(L^{1} = HOD\).
List of models where hypothesis is true and the conclusion is false:
| Name | Statement |
|---|---|
| \(\cal M31\) Szczepaniak's Model | Two models of \(ZF\), \(M_1\) and \(M_2\),\(M_1\subseteq M_2\), are constructed with the same ordinals (so \(L^1\) in\(M_1\) is the same as \(L^1\) in \(M_2\)), and a generic real \(a\in M_1\) so that \(a\not\in HOD\) in \(M_1\), but \(a\in HOD\) in \(M_2\) |
Code: 3
Comments: