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)

Effective Categoricity of Automatic Equivalence and Nested Equivalence Structures. - Jacob Carson; Douglas Cenzer; Jeffrey B. Remmel (Theory Comput. Syst., 2020)