All public logs

Combined display of all available logs of Apeirology Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 14:47, 9 September 2023 RhubarbJayde talk contribs created page HOD dichotomy (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^+\)....") Tag: Visual edit