Abstract
We systematically study the interrelations between all possible variations of \(\Delta ^0_1\) variants of the law of excluded middle and related principles in the context of intuitionistic arithmetic and analysis.
Similar content being viewed by others
References
Akama, Y., Berardi, S., Hayashi, S., Kohlenbach, U.: An arithmetical hierarchy of the law of excluded middle and related principles. In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS’04), pp. 192–301 (2004)
Berardi, S., Steila, S.: Ramsey theorem for pairs as a classical principle in intuitionistic arithmetic. In: Matthes, R., Schubert, A. (eds.) 19th International Conference on Types for Proofs and Programs (TYPES 2013). Leibniz International Proceedings in Informatics (LIPIcs), vol. 26, pp. 64–83. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany (2014)
Diener, H.: Constructive Reverse Mathematics. Habilitationsschrift (2018)
Fujiwara, M., Ishihara, H., Nemoto, T.: Some principles weaker than Markov’s principle. Arch. Math. Logic 54(7–8), 861–870 (2015)
Fujiwara, M., Ishihara, H., Nemoto, T., Suzuki, N.-Y., Yokoyama, K.: Extended frames and separations of logical principles. https://researchmap.jp/makotofujiwara/misc/30348506 (2021) (submitted)
Fujiwara, M., Kohlenbach, U.: Interrelation between weak fragments of double negation shift and related principles. J. Symb. Log. 83(3), 991–1012 (2018)
Fujiwara, M., Kurahashi, T.: Refining the arithmetical hierarchy of classical principles. https://arxiv.org/abs/2010.11527 (2020). submitted
Fujiwara, M., Kurahashi, T.: Prenex normal form theorems in semi-classical arithmetic. J. Symbol. Logic 86(3), 1124–1153 (2021)
Ishihara, H.: Markov’s principle, Church’s thesis and Lindelöf’s theorem. Indagationes Mathematicae (N.S.) 4(3), 321–325 (1993)
Ishihara, H.: Constructive reverse mathematics: compactness properties. In: From Sets and Types to Topology and Analysis. Volume 48 of Oxford Logic Guides, pp. 245–267. Oxford University Press, Oxford (2005)
Kohlenbach, U.: On the disjunctive Markov principle. Stud. Logica 103(6), 1313–1317 (2015)
Simpson, S.G.: Subsystems of Second Order Arithmetic. Perspectives in Logic, 2nd edn. Cambridge University Press, Cambridge (2009)
Troelstra, A.S. (ed.): Metamathematical Investigation of Intuitionistic Arithmetic and Analysis. Lecture Notes in Mathematics, vol. 344. Springer, Berlin (1973)
Acknowledgements
The author thanks Hajime Ishihara, Takako Nemoto and Taishi Kurahashi for helpful discussion. This work was supported by JSPS KAKENHI Grant Numbers JP19J01239 and JP20K14354.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Fujiwara, M. \(\Delta ^0_1\) variants of the law of excluded middle and related principles. Arch. Math. Logic 61, 1113–1127 (2022). https://doi.org/10.1007/s00153-022-00827-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-022-00827-5