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)

Abstract

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.

Original languageEnglish
Pages (from-to)192-201
Number of pages10
JournalProceedings - Symposium on Logic in Computer Science
Volume19
Publication statusPublished - 2004 Oct 1
EventProceedings of the 19th Annual IEEE Symposium on Logic in Computer Science - Turku, Finland
Duration: 2004 Jul 132004 Jul 17

ASJC Scopus subject areas

  • Software
  • Mathematics(all)

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.

  • Cite this