An arithmetical hierarchy of the law of excluded middle and related principles

Yoji Akama, Susumu Hayashi, Stefano Berardi, Ulrich Kohlenbach

Research output: Contribution to journalConference article

35 Citations (Scopus)

Fingerprint Dive into the research topics of 'An arithmetical hierarchy of the law of excluded middle and related principles'. Together they form a unique fingerprint.

Mathematics