Xavier Caicedo

Bibliography

Caicedo, Xavier. 1980. “Back-and-Forth Systems for Arbitrary Quantifiers.” in Mathematical Logic in Latin America. Proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978, edited by Ayda I. Arruda, Rolando B. Chuaqui, and Newton C. A. Da Costa, pp. 83–102. Studies in Logic and the Foundations of Mathematics n. 99. Amsterdam: North-Holland Publishing Co.
Caicedo, Xavier, ed. 1981. Proceedings of the V Latin American Symposium on Mathematical Logic. ? ?
Caicedo, Xavier. 1995a. “Continuous Operations on Spaces of Functions.” in Quantifiers: Logic, Models, and Computation. Volume One: Surveys, edited by Michał Krynicki, Marcin Mostowski, and Lesław W. Szczerba, pp. 263–296. Synthese Library n. 248. Dordrecht: Kluwer Academic Publishers.
Caicedo, Xavier. 1995b. “Hilbert’s E-Symbol in the Presence of Generalized Quantifiers.” in Quantifiers: Logic, Models, and Computation. Volume Two: Contributions, edited by Michał Krynicki, Marcin Mostowski, and Lesław W. Szczerba, pp. 63–78. Synthese Library n. 249. Dordrecht: Kluwer Academic Publishers.
Caicedo, Xavier. 2015. “Lindström’s Theorem for Positive Logics, a Topological View.” in Logic without Borders. Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics, edited by Åsa Hirvonen, Juha Kontinen, Roman Kossak, and Andrés Villaveces, pp. 73–90. Ontos Mathematical Logic n. 5. Berlin: de Gruyter.
Caicedo, Xavier and Montenegro, Carlos H., eds. 1999. Models, Algebras, and Proofs. Selected Papers of the X Latin American Symposium on Mathematical Logic Held in Bogotá. New York: Marcel Dekker.