Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I have wondered for a while what gave rise to the notation $0^\sharp$. According to wikipedia this is due to Solovay in 1967, but (perhaps unsurprisingly) there's no discussion of why that notation was chosen. In contrast, Silver mentions in a paper that he chose the symbol $\Sigma$ to represent the same thing. Nonetheless, I couldn't turn anything up with a bit of searching.

So, why did Solovay choose zero-sharp as the name for this object? (The zero part at least makes sense in the general sense of $a^\sharp$ where we consider $L[a]$ instead of $L$) Especially given that there are plenty of ways of indicating something "a little bit more/different" that are quite normal in mathematical notation.

share|improve this question

1 Answer 1

up vote 6 down vote accepted

I've heard that the symbol was originally $O^\#$, with a capital letter O, not zero. This set was viewed as a higher-level analog of Kleene's O (a universal $\Pi^1_1$ set).

share|improve this answer
1  
Yes, that's what I've always heard. Of course, you were probably the one to tell me this, Andreas. ;) –  Todd Eisworth Oct 19 '11 at 14:48
1  
I've also heard that it was in analogy to 0' from recursion theory. –  Todd Eisworth Oct 19 '11 at 14:57
    
My only concrete guess was a relation to zero-jump. Interestingly the jump operator seems to be in part due to Kleene as well. In any case, Solovay's paper does seem to say $O^\#$ (with a hash/pound, rather than a musical sharp, but that could be a limitation of the typesetting...) so that seems the most plausible answer. –  Chris Le Sueur Oct 19 '11 at 20:30

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.