Login / Signup

Up to equimorphism, hyperarithmetic is recursive.

Antonio Montalbán
Published in: J. Symb. Log. (2005)
Keyphrases