The Arithmetical Hierarchy in the Setting of ω1. - Jacob Carson; Jesse Johnson; Julia F. Knight; Karen M. Lange; Charles F. D. McCoy; John Wallbaum (Comput., 2013)