An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles.

Yohji Akama, Stefano Berardi, Susumu Hayashi, Ulrich Kohlenbach

Browse the full LICS paper archive.