

La búsqueda se inicia señalando la inicial del primer apellido del personaje
|
Xavier Caicedo Ferrer |
|
Xavier Caicedo Ferrer |
· Notas biográficas y científicas · Obra o Axiomatización de lógicas monádicas con varios cuantificadores cardinales. (con Lesmes, Juan M.) Revista Colombiana de Matemáticas. 24, (1-2) (1990), 81-96. o Investigaciones sobre nuevos conectivos intuicionistas. Apuntes Matemáticos. 14 (1991), 56 o El E-símbolo de Hilbert en la presencia de cuantificadores generalizados. Apuntes Matemáticos. 15 (1991), 17 o Operaciones continuas en espacios de estructuras. Apuntes Matemáticos. 16 (1992), 31 o La paradoja de Berry revisitada, o la indefinibilidad de la definibilidad y las limitaciones de los formalismos. Lecturas Matemáticas. 14, (1-2-3) (1993), 37-48. o Raíces de composición. Matemáticas. Enseñanza Universitaria. 2, (2) (1992), 17-30. o Introducción a los topos de Grothendieck. Apuntes Matemáticos. 8 (1988), 53. o Elementos de lógica y calculabilidad. Universidad de los Andes. Departamento de Matemáticas. Bogotá 1990. p 324. o Compactness and normality in abstract logics. Reportes Internos: Departamento de Matemáticas y Estadística Universidad Nacional. no. 13, 12 p. 1992 Bogotá. o Espacios no triviales de convergencia trivial. Lecturas Matemáticas. 3, (2) (1982), 133-143. o Congruences in regular categories. (con Burgess, W. D) Revista Colombiana de Matemáticas. 15, (1-2) (1981), 43-63. o Conjuntos secuencialmente cerrados. Revista Colombiana de Matemáticas.14, (2) (1980), 111-130 o Conectivos intuicionistas sobre espacios topológicos. Revista de o El teorema de Hann-Banach como principio de elección. (con Enciso, Germán) Revista de o Compactness and normality in abstract logics. Annals of Pure and Applied Logic. 59 (1) (1993), 33-43. |
Proyecto auspiciado por la Academia Colombiana de Ciencias Exactas, Físicas y Naturales, la Sociedad Colombiana de Matemáticas y la Universidad Nacional de Colombia |
Responsables del proyecto |
Last updated: abril 5, 2010