Page history
18 January 2024
9 September 2023
1 September 2023
31 August 2023
C7X
Sourcing
+291
RhubarbJayde
no edit summary
+130
RhubarbJayde
no edit summary
+24
RhubarbJayde
Created page with "Zero sharp is a sharp for the constructible universe \(L\), which is of importance in inner model theory. Zero sharp, denoted \(0^\sharp\), if it exists, is a real number which encodes information about indiscernibles in the constructible universe. In particular, "\(0^\sharp\) exists" is the assertion that there is a unique class \(I\) of ordinals which is club in \(\mathrm{Ord}\), containing all uncountable cardinals so that, for every un..."
+3,649