An arithmetical hierarchy of the law of excluded middle and related principles is discussed. The existence of a hierarchy, from the intuitionistic viewpoint, between relevant semi-classical principles is proved. It is proved that Limited Principle of Omniscience and Markov's principle are a proper part of Excluded Middle for degree 1 formulas. The classification of the principles are expected useful to determine by which principles, the target theorem should be proved.
|Number of pages||10|
|Journal||Proceedings - Symposium on Logic in Computer Science|
|Publication status||Published - 2004|
|Event||Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science - Turku, Finland|
Duration: 2004 Jul 13 → 2004 Jul 17
ASJC Scopus subject areas