Abstract
We give an explicit description of the “convenient structure” onC ω(ℝ, ℝ) defined in [3] yielding a much easier proof of cartesian closedness of the category of real analytic mappings between convenient vector spaces. Also the proof uses onlyZF+DCω.
Similar content being viewed by others
References
Frölicher, A., Kriegl, A.: Linear Spaces and Differentiation Theory. New York: Wiley. 1988.
Garnir, H.: Solovay's axiom and functional analysis. In:Garnier, H. G. et al. (eds.) Functional Analysis and its Applications (Madras, 1973). Lect. Notes Math. 399, pp. 189–204. Berlin: Springer. 1974.
Kriegl, A., Michor, P.: The convenient setting for real analytic mappings. Acta Math.165, 105–109 (1990).
Kriegl, A., Nel, L.: A convenient setting for holomorphy. Cahiers Topologie Géom. DifférentielleXXVI–3, 273–309 (1985).
Mattes, J.: When all linear mappings are smooth. Preprint.
Shelah, S.: Can you take Solovay's increasible away? Israel J. Math.48, 1–47 (1984).
Solovay, R.: A model of set theory in which every set of reals is Lebesgue measurable. Ann. of Math.92, 1–56 (1970).