TY - JOUR AU - Montalbán, Antonio IS - 2 JA - Journal of Symbolic Logic PB - Association for Symbolic Logic PY - 2005 TI - Up to Equimorphism, Hyperarithmetic Is Recursive VL - 70 ER -