Talk:Analytical hierarchy: Difference between revisions

Content deleted Content added
move new comment to bottom and respond
Add new section as a request for clarification of "indicies of computable ordinals"
Line 44:
 
:It is true that the page doesn't use the word "alternating", but I think the definition here is correct. Is there something in particular wrong with it? &mdash;&nbsp;Carl <small>([[User:CBM|CBM]]&nbsp;·&nbsp;[[User talk:CBM|talk]])</small> 00:26, 25 June 2010 (UTC)
 
== "Indicies of Computable ordinals" ==
 
It is unclear what the indicies of computable ordinals are. See the discussion at http://math.stackexchange.com/questions/72826/complexity-of-the-set-of-computable-ordinals. It may refer to recursive well-orderings of <math>\omega</math> or to Kleene's O notation. If it is Kleene's O, there should be a link to http://en.wikipedia.org/wiki/Kleene%27s_O. Either way (or if it is both and these are equivalent statements), this should be clarified