Article PDF
Avoid common mistakes on your manuscript.
References
M. Barr and C. Wells, Toposes, Triples, and Theories, Springer Verlag, New York, 1985.
M. Bunge and M. Heggic, ‘Synthetic Calculus of Variations’, in J.W. Gray (ed.), Mathematical Applications of Category Theory, Amer. Math. Soc., Providence, 1984.
G. Cantor, ‘Über unendliche lineare Punktmannigfaltigkeiten, Nr. 3’, reprinted in E. Zermelo (ed.), Gesammelte Abhandlungen, Georg Olms, Hildesheim, 1962.
G. Cantor, ‘Beiträge zur Begründung der transfiniten Mengenlehre’, also in Gesammelte Abhandlungen.
É. Cartan, Leçons sur la théorie des espaces à connexion projective, Gauthier Villars, 1937.
É. Cartan, Leçons sur la théorie des spineurs, Hermann et Cie., 1937; translated as The Theory of Spinors, MIT Press, Cambridge, 1960.
A. Cauchy, Cours d'Analyse (1821) in Oeuvres Complètes d'Augustin Cauchy, 2nd series, volume 3, Gauthier Villars, Paris, 1897.
R. Dedekind, ‘The Nature and Meaning of Numbers’, in Dedekind, Essays on the Theory of Numbers, translated by Wooster Woodruf Beman, Dover Publications, New York, 1963.
E. J. Dubuc, ‘Sur les modèles de la géométrie différentielle synthétique’, Cahiers de Topologie et Géométric Différentielle 20 (1979), 231–279.
E. J. Dubuc and J. Penon, ‘Objets compacts dans les Topos’, J. Austral. Math. Soc. (Series A) 40 (1986).
W. S. Hatcher, The Logical Foundations of Mathematics, Pergamon Press, 1982.
A. Kock, Synthetic Differential Geometry, London Math. Soc. Lecture Notes 51, Cambridge Univ. Press, 1981.
W. F. Lawvere, ‘Elementary Theory of the Category of Sets’, mimeographed, Univ. of Chicago, 1963; see also Proc. Nat. Acad. Sci. 52 (1964) 1506–1511.
W. F. Lawvere, ‘Categorical Dynamics’, in A. Kock (ed.), Topos Theoretic Mathods in Geometry, Matematisk Institut, Aarhus Universitet, Aarhus Denmark, 1979.
W. F. Lawvere, ‘Variable Sets Etendu and Variable Structure in Topoi’, notes by S. Landsburg. Dept. of Math., Univ. of Chicago, 1975.
W. F. Lawvere, ‘Continuously Variable Sets’, in Proc. ASL Logic Colloquium, Bristol 1973, North Holland Pub., 1975.
T. Levi-Civita, The Absolute Differential Calculus, translated by M. Long, Dover Pub., New York, 1977.
S. Lie, Vorlesungen über Differentialgleichungen, Leipzig, 1891.
S. Mac Lane, Mathematics: Form and Function, Springer Verlag, New York, 1986.
C. McLarty, ‘Local, and some global, results in synthetic differential geometry’, in A. Kock (ed.), Category Theoretic Methods in Geometry, Matematisk Institute, Aarhus Universitet, Aarhus Denmark, 1983.
C. McLarty, ‘Elementary axioms for canonical points of toposes’, forthcoming in Jour. Symbolic Logic, 1987.
I. Moerdijk and G. E. Reyes, forthcoming monograph on models of SDG.
G. Osius, ‘Categorical set theory: A characterization of the category of sets’, Jour. Pure and Applied Algebra 4 (1974), 79–119.
G. Osius, ‘Logical and set theoretical tools in elementary topoi’, in F. W. Lawvere et al. (eds.), Model Theory and Topoi, Springer Lecture Notes in Math, 445, Springer Verlag, New York, 1975.
G. Osius, ‘A note on Kripke-Joyal semantics for the internal language of topoi’, in Springer Lecture Notes 445, Springer Verlag, New York, 1975.
G. E. Reyes, ‘Logic and category theory’, in E. Agazzi (ed.), Modern Logic—a Survey, D. Reidel, Dordrecht, 1980.
A. Schoenflies, ‘Die Entwicklung der Lehre von den Punktmannigfaltigkeiten’, Jahrsberichte Dtsch. Math.-Verein 8 (1900); also in Schoenflies, Entwicklung der Mengenlehre und ihrer Anwendungen, B. G. Teubner, Leipzig, 1913.
M. Tierney, ‘Sheaf theory and the continuum hypothesis’, in I. Bucur et al. (eds.), Toposes, Algebraic Geometry, and Logic, Lecture Notes in Math. 274, Springer Verlag, New York, 1972.
H. Weyl, Space, Time, Matter, translated by H. Brose, Dover Pub., New York, 1952.
H. Weyl, The Theory of Groups and Quantum Mechanics, translated by H. P. Robertson, Dover Pub., New York, 1950.
H. Weyl, The Philosophy of Mathematics and Natural Science, Princeton Univ., Princeton, 1949.
E. Zermelo, ‘Investigations in the foundations of set theory, I’, in J. van Heijenoort (ed.), From Frege to Gödel, Harvard Univ. Press, Cambridge, 1967.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
McLarty, C. Defining sets as sets of points of spaces. J Philos Logic 17, 75–90 (1988). https://doi.org/10.1007/BF00249676
Issue Date:
DOI: https://doi.org/10.1007/BF00249676