Abstract
In this paper an investigation is made of the properties of the continuum in smooth infinitesimal analysis: it is shown that it differs in certain important respects from its counterpart in constructive analysis.
This is a preview of subscription content, log in via an 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
Bell, J.L., A Primer of Infinitesimal Analysis. Cambridge University Press, 1998.
Bridges, D.S., Constructive mathematics: a foundation for computable analysis. Theoretical Computer Science 219 (1999), 95–109.
Kock, A., Synthetic Differential Geometry. Cambridge University Press, 1981.
McLarty, C., Elementary Categories, Elementary Toposes. Oxford University Press, 1992.
van Dalen, D., How connected is the intuitionistic continuum? Journal of Symbolic Logic 62 (1997), 1147–1150.
van Dalen, D., From Brouwerian counterexamples to the creating subject. Studia Logica 62 (1999), 305–314.
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
Bell, J.L. (2001). The Continuum in Smooth Infinitesimal Analysis. 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_2
Download citation
DOI: https://doi.org/10.1007/978-94-015-9757-9_2
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5885-0
Online ISBN: 978-94-015-9757-9
eBook Packages: Springer Book Archive