Abstract
We prove the consistency of Beeson's formal system RPS and its extensions. The relationships between RPS and various principles of constructive mathematics are investigated.
Keywords
- constructive mathematics
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
P. Aczel, The type theoretic interpretation of constructive set theory, in “Logic Colloquim '77 (eds. A. MacIntyre, L. Pacholski, and J. Paris),” North-Holland, Amsterdam, 1979.
_____, Frege structures and the notions of proposition, truth, and set, in “The Kleene Symposium (eds. J. Barwise, H. J. Keisler, and K. Kunen),” North-Holland, Amsterdam, 1980, pp. 31–60.
M. Beeson, “Foundations of Constructive Mathematics,” Springer, 1985.
E. Bishop, “Foundations of Constructive Analysis,” McGraw-Hill, New York, 1967.
E. Bishop, D. Bridges, “Constructive Analysis,” Springer.
S. Feferman, A language and axioms for explicit mathematics, in “Algebra and Logic, Lecture Notes in Mathematics No. 450,” Springer, Berlin, 1975, pp. 87–139.
_____, Constructive theories of functions and classes, in “Logic Colloquium '78: Proceedings of the Logic Colloquium at Mons, 1978 (eds. M. Boffa, D. van Dalen, and K. McAloon),” North-Holland, Amsterdam, 1979, pp. 159–224.
P. Martin-Löf, An Intuitionistic Theory of Types, Predicative Part, in “Logic Colloquium '73,” North-Holland, Amsterdam, 1975, pp. 73–118.
_____, Constructive mathematics and computer programming, in “Logic, Methodology, and Philosophy of Science VI (eds. L.J. Cohen, J. Los, H. Pfeiffer, and K. P. Podewski),” North-Holland, Amsterdam, 1982, pp. 153–179.
F. Richman (ed.), “Constructive Mathematics. Lecture Notes in Mathematics 873,” Springer, 1981.
J. Smith, An interpretation of Martin-Löf's type theory in a type-free theory of propositions, J. Symbolic Logic 49 (1984), 730–753.
A. S. Troelstra, D. van Dalen (eds.), “The L. E. J. Brouwer Centenary Symposium,” North-Holland, Amsterdam, 1982.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1989 Springer-Verlag
About this paper
Cite this paper
Kobayashi, S. (1989). Consistency of Beeson's formal system RPS and some related results. In: Shinoda, J., Tugué, T., Slaman, T.A. (eds) Mathematical Logic and Applications. Lecture Notes in Mathematics, vol 1388. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0083667
Download citation
DOI: https://doi.org/10.1007/BFb0083667
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51527-2
Online ISBN: 978-3-540-48220-8
eBook Packages: Springer Book Archive
