# Cofinality of Theta if sharps exist

If ℝ# exists then why is cof(θL(ℝ)) = ω? Also I have the same question for the L(Vλ+1) generalization (if it's actually a different proof; I presume it isn't), i.e. if θ is defined as the sup of the surjections in L(Vλ+1) of Vλ+1 onto an ordinal, then if Vλ+1# exists why is cof(θL(Vλ+1)) = ω?

-
In general, and particularly on this post, please give some background. A format I like: ask your question. Then have a section titled "background" that quickly glosses all the notation and definitions. Sometimes finish with a section on why you care. I mean, probably people who will be able to answer the question will know more of the notation than I do, but not everyone's notation is identical. –  Theo Johnson-Freyd Oct 27 '09 at 17:45
The terms Scott uses are standard for the subject. The only one that might be unclear he defined (what Theta is in L(V_lambda+1)). Your comment seems analogous to complaining that someone posting an algebraic geometry question didn't give a reference to what a stack is. A little more motivation for the question, however, seems pretty reasonable. –  Richard Dore Oct 27 '09 at 18:35
You're right, motivation should have been added. While it's not the most interesting question in the world, I've been rather confused attempting to work with sharps and the structure that they impose beyond just covering. I've also been confused about the cofinality of theta and it's impact. This seemed like a simple enough question that might help elucidate both ideas since it gives a connection between them. –  Scott Cramer Oct 27 '09 at 20:58
I edited the question for formatting under Richard's guidance. I hope everything is correct. –  Anton Geraschenko Oct 28 '09 at 22:47