### 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 language | English |
---|---|

Pages (from-to) | 192-201 |

Number of pages | 10 |

Journal | Proceedings - Symposium on Logic in Computer Science |

Volume | 19 |

Publication status | Published - 2004 Oct 1 |

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

- 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

Akama, Y., Hayashi, S., Berardi, S., & Kohlenbach, U. (2004). An arithmetical hierarchy of the law of excluded middle and related principles.

*Proceedings - Symposium on Logic in Computer Science*,*19*, 192-201.