Abstract
As is well known, Brouwer’s concept of continuum is based on the notion of a choice sequence. In turn, the mathematical treatment of choice sequences is based on two fundamental ideas of Brouwer: the Principle of Continuity and the Principle of Bar Induction. The intuitive meaning of the first principle is quite clear. At the same time intuition backing the Bar Induction is much more sophisticated. This Principle is rather complicated and seems to carry on a touch of the historical development of the intuitionistic concept of a spread. We establish here a more clear version of bar induction in form of an induction over detachable founded trees.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
A.S. Troelstra, On the early history of intuitionistic logic, Mathematical Logic, P.P. Petkov, Ed., Plenum Press, New York-London, 1990, pp. 3–17.
A. Heyting, Intuitionism. An Introduction, North-Holland, Amsterdam, 1956.
A.S. Troelstra, Choice Sequences. A Chapter of Intuitionistic Mathematics, Clarendon Press, Oxford, 1977.
A.S. Troelstra and D. van Dalen, Constructivism in Mathematics. An Introduction. Vol. 1–2, North-Holland, Amsterdam-New YorkOxford-Tokyo, 1988.
B.A. Kushner, Printsip bar-induktsii i teoriya kontinuuma u Bran-era. Russian, Zakonomernosti razvitiya sovremennoy matematiki, Nauka, Moscow, 1987, pp. 230–250.
S.C. Kleene and R.E. Vesley, The Foundations of Intuitionistic Mathematics. Especially in Relation to Recursive functions, North-Holland, Amsterdam, 1965.
B.A. Kushner, Ob odnom predstavlenii Bar-Induktsii. Russian, Vo-prosy Matematicheskoy Logiki i Teorii Algoritmov, Vychislitel’ny Tsentr AN SSSR, Moscow, 1988, pp. 11–18.
B.A. Kushner, A Version of Bar-Induction. Abstract, The Journal of Symbolic Logic 57 (1992), 361.
H. Rogers, Jr., Theory of Recursive Functions and Effective Computability, McGraw-Hill Book Company, New York, 1967.
B.A. Kushner, Lectures on Constructive Mathematical Analysis. (Translation from the Russian), AMS, Providence, Rhode Island, 1984.
A.G. Dragalin, Mathematical Intuitionism: Introduction to proof theory. (Translation from the Russian), AMS, Providence, Rhode Island, 1988.
W.A. Howard and G. Kreisel, Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis, The Journal of Symbolic Logic 31 (1966), 325–358.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Kushner, B.A. (2001). On Brouwerian Bar Induction. In: Schuster, P., Berger, U., Osswald, H. (eds) Reuniting the Antipodes — Constructive and Nonstandard Views of the Continuum. Synthese Library, vol 306. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-9757-9_11
Download citation
DOI: https://doi.org/10.1007/978-94-015-9757-9_11
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5885-0
Online ISBN: 978-94-015-9757-9
eBook Packages: Springer Book Archive