Abstract
We deal with the monotone completeness theorem in constructive reverse mathematics, and show that a weak form of the theorem is equivalent to a bounded comprehension axiom for \(\Sigma ^0_1\) formulae.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Berger, J., Ishihara, H., Kihara, T., & Nemoto, T. (2019). The binary expansion and the intermediate value theorem in constructive reverse mathematics. Archive for Mathematical Logic, 58, 203–217.
Bishop, E. (1967). Foundations of constructive analysis. New York/Toronto/London: McGraw-Hill Book Co.
Bishop, E., & Bridges, D. (1985). Constructive analysis (Grundlehren der Mathematischen Wissenschaften [Fundamental principles of mathematical sciences], Vol. 279). Berlin: Springer.
Bridges, D., & Richman, F. (1987). Varieties of constructive mathematics (London mathematical society lecture note series, Vol. 97). Cambridge: Cambridge University Press.
Bridges, D., & Vîţa, L. S. (2006). Techniques of constructive analysis (Universitext). New York: Springer.
Diener, H., & Ishihara, H. Bishop style constructive reverse mathematics. In V. Brattka & P. Hertling (Eds.), Handbook of computability and complexity. Springer (to appear).
Hájek, P., & Pudlák, P. (1998). Metamathematics of first-order arithmetic (Perspectives in mathematical logic, Second printing). Berlin: Springer.
Ishihara, H. (2005). Constructive reverse mathematics: Compactness properties. In From sets and types to topology and analysis (Oxford logic guides, Vol. 48, pp. 245–267). Oxford: Oxford Science Publications/Oxford University Press.
Ishihara, H. (2018). On Brouwer’s continuity principle. Indagationes Mathematicae (N.S.), 29, 1511–1524.
Kohlenbach, U. (2000). Things that can and things that cannot be done in PRA. Annals of Pure and Applied Logic, 102(3), 223–245.
Kohlenbach, U. (2008). Applied proof theory: Proof interpretations and their use in mathematics (Springer monographs in mathematics). Berlin: Springer.
Loeb, I. (2005). Equivalents of the (weak) fan theorem. Annals of Pure and Applied Logic, 132(1), 51–66.
Mandelkern, M. (1988). Limited omniscience and the Bolzano-Weierstrass principle. Bulletin of the London Mathematical Society, 20(4), 319–320.
Nemoto, T. Finite sets and infinite sets in weak intuitionistic arithmetic. Archive for Mathematical Logic (to appear).
Nemoto, T., & Sato, K. A marriage of Brouwer’s intuitionism and Hilbert’s finitism I: Arithmetic. Journal of Symbolic Logic (to appear).
Rose, H. E. (1984). Subrecursion: Functions and hierarchies (Oxford logic guides, Vol. 9). New York: The Clarendon Press/Oxford University Press.
Simpson, S. G. (2009). Subsystems of second order arithmetic (Perspectives in logic, 2nd ed.). Cambridge: Cambridge University Press/Poughkeepsie: Association for Symbolic Logic.
Toftdal, M. (2004a). A calibration of ineffective theorems of analysis in a constructive context. Master’s thesis, Department of Computer Science, University of Aarhus.
Toftdal, M. (2004b) A calibration of ineffective theorems of analysis in a hierarchy of semi-classical logical principles (extended abstract). In Automata, Languages and Programming, 1188–1200 (Lecture notes in computer Science, Vol. 3142). Berlin: Springer.
Troelstra, A. S., & van Dalen, D. (1988a). Constructivism in mathematics, Volume I, an introduction (Studies in logic and the foundations of mathematics, Vol. 121). Amsterdam: North-Holland Publishing Co.
Troelstra, A. S., & van Dalen, D. (1988b). Constructivism in mathematics, Volume II, An introduction (Studies in logic and the foundations of mathematics, Vol. 123). Amsterdam: North-Holland Publishing Co.
Veldman, W. (2014). Brouwer’s fan theorem as an axiom and as a contrast to Kleene’s alternative. Archive for Mathematical Logic, 53(5–6), 621–693.
Acknowledgements
The authors thank the Japan Society for the Promotion of Science (JSPS), Core-to-Core Program (A. Advanced Research Networks), and the first author thanks the JSPS Grant-in-Aid for Scientific Research (C) No.16K05251, for supporting the research.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Ishihara, H., Nemoto, T. (2019). The Monotone Completeness Theorem in Constructive Reverse Mathematics. In: Centrone, S., Negri, S., Sarikaya, D., Schuster, P.M. (eds) Mathesis Universalis, Computability and Proof. Synthese Library, vol 412. Springer, Cham. https://doi.org/10.1007/978-3-030-20447-1_8
Download citation
DOI: https://doi.org/10.1007/978-3-030-20447-1_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-20446-4
Online ISBN: 978-3-030-20447-1
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)