Áreas de interés:Lógica Matemática, Algebra Universal, Topología
| ESTUDIOS REALIZADOS |
- Licenciado en Matemáticas, Universidad de los Andes, Bogotá, Matemáticas
- Ingeniero de Sistemas y Computación, Universidad de los Andes, Bogotá, Sistemas
- M.Sc., Université d´Ottawa, Canadá, Matemáticas
- Ph.D.en Matemáticas, University of Maryland, College Park, USA, Matemáticas
|
| EXPERIENCIA PROFESIONAL |
- Universidad de los Andes, Profesor de planta. (2005-01-01)
- Universidad de Buenos Aires, Profesor Visitante. (2002-06-01)
- Universidad de Barcelona, Profesor Visitante. (2002-03-01)
- Universidad de Buenos Aires, Profesor Visitante. (2001-08-01)
- Universidad de San Luis, Profesor Visitante. (2000-06-01)
|
| PUBLICACIONES |
| Artículos |
-
Xavier Caicedo & Ricardo Rodriguez: Standard Gödel modal logics, Studia Logica, Por aparecer
-
Xavier Caicedo, Theo Janssen, Francien Dechesne: Equivalence and quantifier rules for logic with imperfect information, Logic Journal of the IGPL 17, (2009) 91-129
-
Xavier Caicedo: Implicit operations in MV-algebras and the connectives of Lukasiewicz logic, Lecture Notes in Computer Science 4460, (2007) 50-68
-
Xavier Caicedo: Definability and automorphisms in abstract logics, Archive for Mathematical Logic 43, (2004) 937-945
-
Xavier Caicedo: Implicit Connectives of Algebraizable Logics, Studia Logica 78, (2004) 155-170
-
Xavier Caicedo, Germán Enciso: El teorema de Han-Banach como principio de elección, Revista de la Academia Colombiana de Ciencias Exactas, Físicas y Naturales XXVIII, (2004) 11-20
-
Xavier Caicedo, Alejandro Martín: Completud de dos cálculos lógicos de Leibniz , THEORIA - Segunda Época, Vol.(16): (2001) 539-558
-
Xavier Caicedo, Roberto Cignoli: An Algebraic Approach to Intutionistic Connectives, Journal of Symbolic Logic 66, (2001) 1620-1636
http://www.jstor.org/pss/2694965...
-
Xavier Caicedo, Michal Krynicki: Quantifiers for reasoning with imperfect information and Sigma-1-1 logic (on Advances in Contemporary Logic and Computer Science), Contemporary Mathematics 235, (1999) 17-31
-
Xavier Caicedo: The Abstract Compactness Theorem Revisited (in Logic and Foundations of Mathematics), Synthese Library 280, (1999) 131-141
-
Xavier Caicedo, C. Roselló, W. Bartol: Syntactical content of finite approximations of partial algebras (in Rough sets and current trends in computing), Lecture Notes in Computer Science 1424, (1998) 408-515
-
Xavier Caicedo: Subdirect decomposition of n-chromatic graphs, Journal of Algebraic Combinatorics 8, (1998) 157-168
-
Xavier Caicedo: El teorema de Tichonoff para formas débiles de compacidad, Boletín de Matemáticas (Nueva Serie) 5, (1998) 1-13
-
Xavier Caicedo: Conectivos sobre espacios topológicos, Revista de la Academia Colombiana de Ciencias Exactas, Físicas y Naturales, XXI, no. 81, (1997) 521-534
-
Xavier Caicedo: Investigaciones sobre los conectivos intuicionistas, Revista de la Academia Colombiana de Ciencias Exactas, Físicas y Naturales, XIX, no. 75, (1995) 705-716
-
Xavier Caicedo: Hilbert´s e symbol in the presence of generalized quantifiers (in Quantifier: Logics, Models and Computation II), Synthese Library 249, (1995) 63-78
-
Xavier Caicedo: Lógica de los haces de estructuras, Revista de la Academia Colombiana de Ciencias Exactas, Físicas y Naturales, XIX, no. 74, (1995) 569-585
-
Xavier Caicedo: Finitely axiomatizable quasivarieties of graphs, Algebra Universalis 34, (1995) 314-321
-
Xavier Caicedo: Continuous operations on spaces of structures (in Quantifiers: Logics, Models and Computation I), Synthese Library 248, (1995) 263-296
-
Xavier Caicedo: Compactness and normality in abstract logics, Annals of Pure and Applied Logic 59, (1993) 33-43
-
Xavier Caicedo: La paradoja de Berry revisitada, o la indefinibilidad de la definibilidad y las limitaciones de los fomalismos, Lecturas Matemáticas XIV, (1993) 3-48
-
Xavier Caicedo, A. M. Sette: Equivalencia elementar entre feixes, Notas de Lógica Matemática, Universidad Nacional del Sur, Bahía Blanca, 38, (1993) 129-141
-
Xavier Caicedo: Raices de Composición, Matemáticas Enseñanza Universitaria II, 2, (1992) 17-30
-
Xavier Caicedo, Juan Lesmes: Axiomatización de lógica monádicas con varios cuantificadores cardinales, Revista Colombiana de Matemáticas XXIV, (1990) 81-86
-
Xavier Caicedo: Definability properties and the congruence closure, Archive for Mathematical Logic 30, (1990) 231-240
-
Xavier Caicedo, A. M. Sette: Logic and pseudogroups, Contemporary Mathematics 69, (1988) 101-115
-
Xavier Caicedo: A simple solution to Friedman´s fourth problem, Journal of Symbolic Logic 51, (1986) 778-784
http://www.jstor.org/pss/2274031...
-
Xavier Caicedo: ¿Son todos los infinitesimales representables por sucesiones convergentes a 0?, Matemáticas-Enseñanza Universitaria 38, (1986) 28-34
-
Xavier Caicedo: Cuantificadores generalizados y el teorema de Lindstrom, Acta Científica Venezolana 37, (1986) 243-250
-
Xavier Caicedo: Lógica y Tiempo, Cuadernos de Filosofa y Letras, Universidad de los Andes, 8, (1985) 97-124
-
Xavier Caicedo: Propiedades estructurales de *R, Matemáticas-Enseñanza Universitaria 34, (1985) 40-46
-
Xavier Caicedo: Failure of interpolation for quantifiers of monadic type, Lecture Notes in Mathematics 1130, (1985) 1-12
-
Xavier Caicedo: Espacios no triviales de convergencia trivial, Lecturas Matemáticas 3, (1982) 133-143
-
Xavier Caicedo: On extensions of L_ww(Q_1), Notre Dame Journal of Formal Logic 22, (1981) 85-93
-
Xavier Caicedo: Congruences in regular categories, Revista Colombiana de Matemáticas 15, (1981) 43-64
-
Xavier Caicedo: Independent sets of axioms in L-kappa,alpha, Canadian Mathematical Bulletin 22, (1981) 219-223
-
Xavier Caicedo: The subdirect decomposition theorem for classes of structures closed under direct limits, Journal of the Australian Mathematical Society 30, (1981) (1981) 171-179
-
Xavier Caicedo: Back-and-forth systems for arbitrary quantifiers, Studies in Logic and the Foundations of Mathematics 99 (Mathematical Logic in Latin America), (1980) 83-102
-
Xavier Caicedo: Matemáticas sin el axioma de escogencia, Matemáticas-Enseñanza Universitaria 16, (1980) 3-22
-
Xavier Caicedo: A formal system for the non theorems of the propositional calculus, Notre Dame Journal of Formal Logic 19, (1978) 147-151
| Capítulos de libro |
-
Xavier Caicedo: Extensiones del cálculo de predicados de primer orden, Antologia de la Lógica en América Latina, Universidad de Carabobo, 1988, 133-155
| Libros |
-
Xavier Caicedo y Carlos Montenegro E. (Editores): Models, Algebras and Proofs, Lecture Notes in Pure and Applied Mathematics 203, 1999
-
Xavier Caicedo: Elementos de lógica y Calculabilidad, Una Empresa Docente, Universidad de los Andes, 1990
|
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | |
|
