90009587

open access

Accepted Manuscript

Refining the arithmetical hierarchy of classical principles

English (英語)

Mathematical Logic Quarterly

68(3)

318-345

Wiley-VCH

2022-08

2023-09-01

We refine the arithmetical hierarchy of various classical principles by finely investigating the derivability relations between these principles over Heyting arithmetic. We mainly investigate some restricted versions of the law of excluded middle, De Morgan's law, the double negation elimination, the collection principle and the constant domain axiom.

学術雑誌論文

This is the peer reviewed version of the following article: [Fujiwara, M. and Kurahashi, T. (2022), Refining the arithmetical hierarchy of classical principles. Math. Log. Quart., 68: 318-345.], which has been published in final form at https://doi.org/10.1002/malq.202000077. This article may be used for non-commercial purposes in accordance with Wiley Terms and Conditions for Use of Self-Archived Versions. This article may not be enhanced, enriched or otherwise transformed into a derivative work, without express permission from Wiley or by statutory rights under applicable legislation. Copyright notices must not be removed, obscured or modified. The article must be linked to Wiley’s version of record on Wiley Online Library and any embedding, framing or otherwise making available the article or pages thereof by third parties from platforms, services and websites other than Wiley Online Library must be prohibited.