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
Bishop, E.: Foundations of constructive analysis. McGraw Hill 1967
Boileau, A.: Types vs topos. Ph.D. thesis: Université de Montréal. July 1976
Coste, M.F.: Recursive functions in topos. Tagungsbericht Oberwolfach Category Meeting 1975
Diaconescu, R.: Axiom of choice and complementation. Proc. Amer. Math. Soc., 51 (1975), 176–178
Fourman, M.P.: Comparaison des réels lisses d'un topos. Structures lisses sur un topos élémentaire. Cah. Top. et Géom. Diff. Amiens 1975
Fourman, M., Scott, D.S.: Sheaves and logic. This volume
Fourman, M.P., Hyland, J.M.E.: Sheaf models for analysis. This volume
Gunning, R., Rossi, H.: Analytic functions of several complex variables. Prentice-Hall 1965
Hormänder, L.: An introduction to complex analysis in several variables. North-Holland 1973
Mulvey, C.J.: Intuitionistic algebra and representations of rings. Mem. Amer. Math. Soc., 148 (1974), 3–57
Mulvey, C.J., Burden, C.W.: Banach spaces in a category of sheaves. This volume
Schlomiuk, D.: Logique des topos. Notes du Séminaire de Mathématiques Supérieures 1974. Presses de l'Université de Montréal 1976
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1979 Springer-Verlag
About this chapter
Cite this chapter
Rousseau, C. (1979). Topos theory and complex analysis. In: Fourman, M., Mulvey, C., Scott, D. (eds) Applications of Sheaves. Lecture Notes in Mathematics, vol 753. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0061838
Download citation
DOI: https://doi.org/10.1007/BFb0061838
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09564-4
Online ISBN: 978-3-540-34849-8
eBook Packages: Springer Book Archive