Abstract
Using a generalized theory of manifolds, based on the ideas and techniques of nonstandard analysis, a link is established between sequences of computable structures converging to a classical manifold and certain manifold-like structures involving anticommuting variables. The supermanifolds appearing here may be interpreted as a kind of representation of sequences of computable structures.
Similar content being viewed by others
References
De Witt B.,Supermanifolds, 2nd edition, Cambridge University Press, Cambridge 1992.
Kanovei V.,Undecidable hypotheses in Edward Nelson's Internal Set Theory, Russian Math. Surveys46 (1991), 1–54.
Kanovei V., Reeken M.,Internal approach to external sets and universes (Part I), Studia Logica55 (1995), 229–257.
Kanovei V., Reeken M.,Internal approach to external sets and universes (Part II), Studia Logica55 (1995), 347–376.
Kanovei V., Reeken M.,Internal approach to external sets and universes (Part III), Studia Logica56 (1996), 293–322.
Nelson E.,Internal set theory, a new approach to nonstandard analysis, Bull. Amer. Math. Soc.83 (1977), 1165–1198.
Penrose R.,Non-Hausdorff Riemann surfaces and complex dynamical systems, twistor newsletter 28, March 1989. Reprinted in L.J. Mason, L.P. Hughston (eds.),Further advances in twistor theory, Vol. I: The Penrose transformation and its applications, Pitman, London 1990, pp. 375–379.
Penrose R., H-Space and twistors, in A.I. Janis, J.R. Porter (eds.),Recent advances in general relativity, Birkhuser, Boston 1992, 6–25.
Robert A.,Nonstandard analysis, Wiley, New York 1988.
Schlesinger K. G.,Generalized manifolds, Pitman Research Notes in Mathematics 372, Addison Wesley-Longman, Harlow 1997.
Schlesinger K. G.,Stability concepts in topological dynamics by nonstandard methods, Acta Applicandae Mathematicae49 (1997), 35–54.
Ward R. S., Wells R. O.,Twistor geometry and field theory Cambridge University Press, Cambridge 1990.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Schlesinger, KG. Supermanifolds and sequences of computable structures: a link via a nonstandard extension of differential geometry. Rend. Circ. Mat. Palermo 48, 563–570 (1999). https://doi.org/10.1007/BF02844345
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02844345