Palabras clave
Cómo citar
Societal impact
Resumen
Calcedo, X.: Logica de los haces de estructuras. Rev. Acad. Colomb. Cienc. 19 (74): 569-586, 1995. ISSN 0370-3908.
Se exponen los principios de una lógica de estructuras e individuos variables o extendidos utilizando como modelos naturales los haces fibrados sobre espacios topológicos . La teoría de modelos resultante, caso particular de la lógica de los topoi, revela interesantes conexiones entre lógica y geometría. En este contexto, se presenta una noción de estructura genérica sobre un haz que ilumina las relaciones entre la lógica intuicionista y la clásica, y unifica los resultados fundamentales acerca de la construcción de modelos de la lógica de primer orden, la lógica infinitaria y la teoría de conjuntos.
Referencias
Artin, M. 1962, Grothendieck topologies. Harvard Math. Dept. Lect. Notes.
Artin, M. & A. Grothendieck 1963–1964, Cohomologie étale des schemas, fascicule 1, S.G.A., I.H. E.S., Paris.
Barwise, J. 1970, "Notes in forcing and countable fragments". Preprint.
Bell, J. L. & A. B. Slomson 1971, Models and ultraproducts. North Holland, Amsterdam.
Brouwer, L. E. J. 1908, De onbetrouwbaarheid der logische principes. Tijdschrift voor wijsbegeerte, vol. 2: 12–15.
Brouwer, L. E. J. 1913, Intuitionism and Formalism. Bulletin of the A. M. S. 20 : 81–86.
Bunge, M. 1974, Topos theory and the continuum hypothesis. J. Pure and Appl. Alg. 4: 159–187.
Caicedo, X. 1988, Introducción a los topos de Grothendieck, I Apuntes Matemáticos No. 8, Universidad de los Andes, Bogotá.
Caicedo, X. 1991, Investigaciones sobre nuevos conceptos intuicionistas. Apuntes Matemáticos No. 14, Universidad de los Andes, Bogotá.
Cartan, H. (editor) 1967, Seminaire H. Cartan, 1948–51. Benjamin, San Francisco.
Cohen, P. J. 1963, The independence of the continuum hypothesis. Proc. Nat. Acad. Sc. 50: 1143–1148; 51: 105–110.
Dahn, B. 1979, Constructions of classical models by means of Kripke models. Studia Logica 38, No. 4
Dedecker, P. 1969, Variedades diferenciables y espacios fibrados, Universidad Central de Venezuela, Ediciones de la Biblioteca, Caracas.
van Dalen, D. 1983, Logic and structure, 2nd ed. Springer Verlag, Berlin.
Deligne, P. 1974, La conjecture de Weil I, Publ. Math. I.H.E.S. 43: 273–307.
Dickmann, M. A. 1975, Large infinitary languages, North Holland, Amsterdam.
Ebbinghaus, H. D., J. Flum & W. Thomas 1984, Mathematical Logic, UTM Springer Verlag, New York.
Eilenberg, S. & S. Mac Lane 1945, General theory of natural equivalence. Trans. Am. Math. Soc. 58: 231–294.
Ellerman, D. P. 1974, Sheaves of structures and generalized products. Ann. of Math. Logic 7: 163–195.
Freyd, P. J. 1972, Aspects of Topoi. Bull. Austral. Math. Soc. 1: 7–16.
Fitting, M. C. 1978, Intuicionistic logic model theory and forcing, Studies in Logic. North Holland, Amsterdam.
Fourman, M. P. & D. Scott 1979, Sheaves and logic. In Applications of sheaves (ed. M.P. Fourman). Springer Verlag LNM 753: 230–301.
Gödel, K. 1933, Zur intuitionistischen Arithmetik und Zahlentheorie. Ergebnisse eines mathematischen Kolloquium, Heft 4: 34–38. Traducción: Sobre la teoría de números y la aritmética intuicionista, en Obras completas de Gödel, Alianza Editorial, Madrid, 1981.
Godement, R. 1958, Topologie algébrique et théorie des Faisceaux. Hermann, Paris.
Grothendieck, A. 1960–1967, Eléments de Géométrie Algébrique, Vol. I–IV. Publications Mathematiques I.H. E.S., Paris.
Goldblatt, R. 1984, Topoi, the categorical analysis of logic. North Holland, Amsterdam.
Hartstorne, R. 1977, Algebraic Geometry. GTM 52, Springer Verlag, Berlin.
Heyting, A. 1930, Die Formalen Regeln der intuitionistischen Logik. Sitzungsberichte der Preussischen Akademie der Wissenschaften, Physikalisch-mathematische Klasse: 42–56.
Keisler, J. 1973, Forcing and the omitting types theorem. In MAA Studies in Mathematics (ed. M. D. Morley) 8: 96–133.
Kripke, S. 1965, Semantical Analysis of Intuitionistic Logic. In Formal Systems and Recursive Functions (eds. J. Crossley and M. Dummett), North Holland, Amsterdam: 92–130.
Kolmogorov, A. N. 1925, On the principle of the excluded middle. Traducción del ruso en: From Frege to Gödel (ed. J. van Heijenoort). Harvard University Press, Cambridge, Mass., 1967.
Kunen, K. 1980, Set theory, An introduction to independence proof. North Holland, Amsterdam.
Lawvere, F. W. 1971, Quantifiers and sheaves. Actes Congres intern. math. 1970, Tome 1: Gauthier-Villars, Paris: 329–334.
Lawvere, F. W. 1975, Continuously variable sets: algebraic geometry = geometric logic. In Proceed. Logic Colloquim, Bristol, 1973, North Holland, Amsterdam: 135–153.
Lawvere, F. W. 1986, Categories of spaces may not be generalized spaces as exemplified by directed graphs. Rev. Colombiana de Mat. Vol. XIX: 179–185.
Macintyre, A. 1973, Model completeness for sheaves of structures. Fund. Math. 81: 73–89.
Makkai, M. & G. Reyes 1977, First order categorical logic. LNM 611, Springer Verlag, Amsterdam.
Massey, W. S. 1967, Algebraic topology, an introduction. Harcourt, Brace & World, Inc., New York.
Mac Lane, S. & I. Moerdijk 1992, Sheaves in Geometry and Logic, Springer Verlag, New York.
Miraglia, P. 1989, "Generalized ultraproducs for first order structures in Dsets". Preprint, U. de São Paulo.
Munkres, J. R. 1975, Topology, a first course. Prentice Hall, Inc., New Jersey.
Reyes, G. 1974, From sheaves to logic. MAA Studies in Mathematics (ed. A. Daigneault) 9: 143–204.
Robinson, A. 1970, Forcing in model theory. 1st. Nat. Alta Math. Symposia Math. 5: 69–82. También en: Actes Congrès intern. math. 1970, Tome 1. Gauthier-Villars (1971): 245–250.
Rudin, W. 1976, Principles of Mathematical Analysis, 3rd. ed., McGraw Hill.
Scott, D. 1967, Lectures on Boolean-valued models for set theory. Notes for AMS-ASL Summer Institute, UCLA.
Seeback, S. 1979, What is a Sheaf? Amer. Math. Monthly 77: 681–703.
Serre, J. P. 1953, Faisceaux algébriques cohérents. Ann. Math. 61: 197–278.
Sette A. M. & X. Caicedo, 1993, Equivalencia elemental entre faisces. Proc. of the IX Latin American Symposium on Mathematical Logic. Notas de Lógica Matemática 38: 129–141.
Tennison, B. R. 1975, Sheaf Theory, London math. Soc. Lect. Notes 20. Cambridge Univ. Press.
Tierney, M. 1972, Sheaf theory and the continuum hypothesis. Springer Verlag LNM 274: 13–42.
Villaveces, A. 1991, Modelos-fibrados y modelos-fasces para la Teoría de Conjuntos. Tesis de Magister, Universidad de los Andes, Bogotá.
Weil, A. 1949, Numbers of solutions of equations in finite fields. Bull. Amer. Math. Soc. 60: 497–508.
Weyl, H. 1913, Die Idee der Riemannschen Fläche. Teubner, Leipzig.
Whitehead, A. N. 1920, The concept of nature. Cambridge University Press. (Traducción: El concepto de Naturaleza. Gredos, Madrid, 1968).
Esta obra está bajo una licencia internacional Creative Commons Atribución-NoComercial-SinDerivadas 4.0.
Derechos de autor 2025 Revista de la Academia Colombiana de Ciencias Exactas, Físicas y Naturales