Page history
31 August 2023
RhubarbJayde
no edit summary
+2
RhubarbJayde
no edit summary
−10
RhubarbJayde
Ignore me miserably failing
−14
RhubarbJayde
no edit summary
+38
RhubarbJayde
no edit summary
RhubarbJayde
no edit summary
RhubarbJayde
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] =..."
+2,119