Page history
Jump to navigation
Jump to search
9 September 2023
RhubarbJayde
no edit summary
+1,523
RhubarbJayde
no edit summary
+241
RhubarbJayde
no edit summary
+17
RhubarbJayde
no edit summary
+14
RhubarbJayde
no edit summary
+22
RhubarbJayde
Created page with "The HOD dichotomy theorem is a theorem which shows that HOD, the class of hereditarily ordinal-definable sets, must either be close to or far from the true universe, \(V\). It is formulated in analogy with Jensen's original dichotomy theorem, which asserts that one of the two following holds: * Every uncountable cardinal is inaccessible in \(L\). * For every singular \(\gamma\), \(\gamma\) is singular in \(L\) and \((\gamma^+)^L = \gamma^+\)...."
+2,379