DMCA

An arithmetical hierarchy of

by Yohji Akama , Stefano Berardi , Susumu Hayashi , Ulrich Kohlenbach