Keywords
- Local Ring
- Natural Transformation
- Nilpotent Element
- Strict Order
- Mathematical Society Lecture Note Series
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
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
M. Artin, A. Grothendieck, and J. L. Verdier, (1972) Théorie des topos et cohomologie étale des schémas (SGA 4), Vol. 1, Lecture Notes in Math. 269, Springer-Verlag.
L. Bélair and G. E. Reyes (1982), Calcul Infinitésimal en Géometrie Différentielle Synthétique, to appear in Proc. First Symposium of Chilean Mathematicians (Valparaiso 1981).
E. Cartan (1951), Leçons sur la Géometrie des espaces de Riemann, Gauthier-Villars.
G. Darboux (1887–1896), Leçons sur la théorie des surfaces, Gauthier-Villars.
E. J. Dubuc (1979), Sur les modèles de la Géometrie Différentielle Synthétique, Cahiers de Top. et Géom. Diff. 20 (1979), 231–279.
E. J. Dubuc, C∞-schemes, American Journ. Math. 103, (1981).
A. Joyal and G. E. Reyes, Separable real closed local rings, to appear in Proc. of the V Symposium of Logic in Latin America (Botatá 1981).
A. Kock (Ed. 1979), Topos theoretic methods in geometry, Aarhus Math. Inst. Var. Publ. Series No. 30.
A. Kock (1981), Synthetic Differential Geometry, London Mathematical Society Lecture Notes Series 51, Cambridge University Press.
S. Lie (1876), Allgemeine Theorie der partiellen Differentialgleichungen erster Ordnung, Math. Ann. 9 (186), 245–296.
W. Noll (1974), The Foundations of Mechanics and Thermodynamics, Springer-Verlag.
Ngo van Quê and G. E. Reyes (1982), Smooth functors and Synthetic Calculus, to appear in the Proc. Brouwer Centenary Conference.
G. E. Reyes (1982), Types of infinitesimals, to appear.
A. Robinson (1966), Non Standard Analysis, North-Holland.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1986 Springer-Verlag
About this paper
Cite this paper
Reyes, G.E. (1986). Synthetic reasoning and variable sets. In: Categories in Continuum Physics. Lecture Notes in Mathematics, vol 1174. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0076935
Download citation
DOI: https://doi.org/10.1007/BFb0076935
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16096-0
Online ISBN: 978-3-540-39760-1
eBook Packages: Springer Book Archive
