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).

• 13:46, 31 August 2023 RhubarbJayde talk contribs created page Sharp (Created page with "A sharp for an inner model \(N\) is an object whose existence implies that the inner model is "far from \(V\)": for example, \(N\) can be nontrivially elementarily embedded into itself, and uncountable sets of ordinals may not be able to be covered by sets in \(N\). For example, the sharp for \(L\) is \(0^\sharp\). In general, for a real number \(r\), \(r^\sharp\) denotes the sharp for \(L[r] =...") Tag: Visual edit