Caicedo X, Badia G, Noguera C. (2023)
Maximality of logic without identity
Journal of Symbolic Logic (ISSN 0022-4812)
Artículo
Francisco Xavier Caicedo Ferrer
Información básica
Cursos
- 2022
TEORÍA DE MODELOS 1
Primer Periodo
Maestría
TEORÍA DE MODELOS 1
Primer Periodo
Pregrado
Productos
Caicedo X, Metcalfe G, Rodriguez R, Tuyt O. (2022)
One-variable fragments of linear intermediate logics
Information and Computation (ISSN 0890-5401)
Artículo
Educación
Doctor Of Philosophy
Doctorado
University Of Maryland
1978
Estados Unidos
Master Of Science (Mathematics)
Maestría
University Of Ottawa
1972
Canadá
Proyectos
- 2009
- Caracterización de lógicas modelo teóricas sin negación (con aplicaciones a lógica de Lukasiewicz y lógica continua)
Duración: 26 meses
PR.1.2009.4267
Cursos
- 2022
TEORÍA DE MODELOS 1
Primer Periodo
Maestría
TEORÍA DE MODELOS 1
Primer Periodo
Pregrado
- 2021
- 2020
- 2019
- 2018
- 2017
- 2016
- 2015
- 2014
- 2013
Productos
Caicedo X, Badia G, Noguera C. (2023)
Maximality of logic without identity
Journal of Symbolic Logic (ISSN 0022-4812)
Artículo
Caicedo X, Metcalfe G, Rodriguez R, Tuyt O. (2022)
One-variable fragments of linear intermediate logics
Information and Computation (ISSN 0890-5401)
Artículo
Caicedo X, Campercholi M, Kearnes K, Sanchez Terraf P, Szendrei A, Vaggione D. (2021)
Every Minimal Dual Discriminator Variety is Minimal as a Quasivariety
Algebra Universalis (ISSN 0002-5240)
Artículo
Caicedo X, Mantilla-Soler G. (2019)
On a characterization of path connected topological fields
Journal of Pure and Applied Algebra (ISSN 0022-4049)
Artículo
Caicedo X, Metcalfe G, Rodriguez R, Tuyt O. (2019)
The One-Variable Fragment of Corsi Logic
Lecture Notes in Computer Science (ISSN 0302-9743)
Artículo
Caicedo X, Metcalfe G, Rodriguez R, Rogger J. (2017)
Decidability of Order-Based Modal Logics
Journal of Computer and System Sciences (ISSN 0022-0000)
Artículo
Caicedo X. (2017)
Maximality of continuous logic
Beyond First Order Model Theory (ISBN 9781498753975)
Capítulo de Libro
Davila K .(2017). Omitting types and ?-Categoricity for linear Kripke Sheaves.
Omitting types and ?-Categoricity for linear Kripke Sheaves
Tesis
Caicedo X, Pinzon S. (2016)
On inverse limits of compact structures
South American Journal of Logic (ISSN 2446-6719)
Artículo
Rincon D .(2015). El teorema de categoricidad de Morley y la categoricidad de campos algebraicamente cerrados de característica 0 con pseudo-exponenciación.
El teorema de categoricidad de Morley y la categoricidad de campos algebraicamente cerrados de característica 0 con pseudo-exponenciación
Tesis
Caicedo X. (2015)
Lindström´s theorem for positive logics, a topological view
Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics (ISBN 978-1-61451-687-3)
Capítulo de Libro
Pinzon S .(2014). Límites inversos de estructuras compactas.
Límites inversos de estructuras compactas
Tesis
Caicedo X, Iovino J. (2014)
Omitting uncountable types and the strength of [0,1]-valued logics
Annals of Pure and Applied Logic (ISSN 0168-0072)
Artículo
Caicedo X, Metcalfe G, Rodríguez R O, Rogger J. (2013)
A finite model property for Gödel modal logics
Lecture Notes in Computer Science (ISSN 0302-9743)
Artículo
Peña N .(2013). Logics strongly capturing PTIME on classes of structures.
Logics strongly capturing PTIME on classes of structures
Tesis
Caicedo X. (2013)
Model Theory
Encyclopedia of Sciences and Religions (ISBN 978-1-4020-8264-1)
Capítulo de Libro
Caicedo X, Rodríguez R O. (2012)
Bi-modal Godel logic over [0,1]-valued Kripke frames
JOURNAL OF LOGIC AND COMPUTATION (ISSN 0955-792X)
Artículo
Caicedo X, Rodríguez R O. (2010)
Standard Godel Modal Logics
Studia Logica (ISSN 0039-3215)
Artículo
Caicedo X, Dechesne F, Janssen Th M V. (2009)
Equivalence and quantifier rules for logic with imperfect information
Logic Journal of the IGPL (ISSN 1367-0751)
Artículo
Caicedo X. (2007)
Implicit operations in MV-algebras and the connectives of Lukasiewicz logic
Lecture Notes in Computer Science (ISSN 0302-9743)
Artículo
Caicedo X. (2004)
Definability and automorphisms in abstract logics
Archive for Mathematical Logic (ISSN 0933-5846)
Artículo
Caicedo X, Enciso G. (2004)
El teorema de Han-Banach como principio de elección
Revista de la Academia Colombiana de Ciencias exactas, Físicas y Naturales (ISSN 0370-3908)
Artículo
Caicedo X. (2004)
Implicit connectives of algebraizable logics
Studia Logica (ISSN 0039-3215)
Artículo
Caicedo X, Cignoli R. (2001)
An algebraic approach to intuitionistic connectives
Journal of Symbolic Logic (ISSN 0022-4812)
Artículo
Caicedo X, Martin A. (2001)
Completud de dos cálculos lógicos de Leibniz
Theoria: Revista de Teoria, Historia y Fundamentos de la Ciencia (ISSN 0495-4548)
Artículo
Caicedo X. (1999)
Quantifiers for reasoning with imperfect information and Sigma-1-1 logic
Contemporary Mathematics (ISSN 0271-4132)
Artículo
Caicedo X. (1999)
The Abstract Compactness Theorem Revisited
LOGIC AND FOUNDATIONS OF MATHEMATICS (ISBN 0-7923-5659-4)
Capítulo de Libro
Caicedo X. (1998)
El teorema de Tichonof para formas débiles de compacidad
Boletín de Matemáticas (ISSN 0120-0380)
Artículo
Caicedo X. (1998)
Subdirect Decomposition of n-Chromatic Graphs
Journal of Algebraic Combinatorics (ISSN 0925-9899)
Artículo
Caicedo X. (1998)
Syntactical content of finite approximations of partial algebras
Lecture Notes in Computer Science (ISSN 0302-9743)
Artículo
Caicedo X. (1997)
Conectivos Sobre Espacios Topológicos
Revista de la Academia Colombiana de Ciencias exactas, Físicas y Naturales (ISSN 0370-3908)
Artículo
Caicedo X. (1995)
Continuous operations on spaces of structures
QUANTIFIERS: LOGICS, MODELS AND COMPUTATION Vol. II (ISBN 0-7923-3449-3)
Capítulo de Libro
Caicedo X. (1995)
Finitely axiomatizable quasivarieties of graphs
Algebra Universalis (ISSN 0002-5240)
Artículo
Caicedo X. (1995)
Hilbert´s e symbol in the presence of generalized quantifiers
QUANTIFIERS: LOGICS, MODELS AND COMPUTATION Vol. II (ISBN 0-7923-3449-3)
Capítulo de Libro
Caicedo X. (1995)
Investigaciones sobre los conectivos intuicionistas
Revista de la Academia Colombiana de Ciencias exactas, Físicas y Naturales (ISSN 0370-3908)
Artículo
Caicedo X. (1995)
Lógica de los haces de estructuras
Revista de la Academia Colombiana de Ciencias exactas, Físicas y Naturales (ISSN 0370-3908)
Artículo
Caicedo X. (1993)
Compactness and normality in abstract logics
Annals of Pure and Applied Logic (ISSN 0168-0072)
Artículo
Caicedo X. (1993)
Equivalencia elementar entre feixes
Notas de Lógica Matemática (ISSN 0078-2017)
Artículo
Caicedo X. (1993)
La paradoja de Berry revisitada, o la indefinibilidad de la definibilidad y las limitaciones de los formalismos
LECTURAS MATEMATICAS (ISSN 0120-1980)
Artículo
Caicedo X. (1992)
Raíces de Composición
Matemáticas: Enseñanza Universitaria (ISSN 0120-6788)
Artículo
Caicedo X, Lesmes J. (1990)
Axiomatizatión de la lógica monádica con varios cuantificadores cardinales
Revista Colombiana de Matemáticas (ISSN 0034-7426)
Artículo
Caicedo X. (1990)
Definability properties and the congruence closure
Archive for Mathematical Logic (ISSN 0933-5846)
Artículo
Caicedo X. (1990)
Elementos de lógica y calculabilidad
Libro
Caicedo X. (1986)
A simple solution to Friedman's fourth problem
Journal of Symbolic Logic (ISSN 0022-4812)
Artículo
Caicedo X. (1986)
Cuantificadores Generalizados y el Teorema de Lindström
Acta Cientifica Venezolana (ISSN 0001-5504)
Artículo
Caicedo X. (1986)
¿Son todos los infinitesimales representables por sucesiones convergentes a cero?
Matemáticas: Enseñanza Universitaria (ISSN 0120-6788)
Artículo
Caicedo X. (1985)
Failure of interpolation for quantifiers of monadic type
Lecture Notes in Mathematics (ISSN 0075-8434)
Artículo
Caicedo X. (1985)
Propiedades estructurales de *R
Matemáticas: Enseñanza Universitaria (ISSN 0120-6788)
Artículo
Caicedo X. (1982)
Espacios no triviales de convergencia trivial
LECTURAS MATEMATICAS (ISSN 0120-1980)
Artículo
Caicedo X. (1981)
Congruences in regular categories
Revista Colombiana de Matemáticas (ISSN 0034-7426)
Artículo
Caicedo X. (1981)
Independent sets of axioms in L κα
CANADIAN MATHEMATICAL BULLETIN (ISSN 1496-4287)
Artículo
Caicedo X. (1981)
On extensions of L ωω (Q 1 )
Notre Dame Journal of Formal Logic (ISSN 0029-4527)
Artículo
Caicedo X. (1980)
Back-and-Forth Systems for Arbitrary Quantifiers
Studies in Logic and the Foundations of Mathematics (ISSN 0049-237X)
Artículo
Caicedo X. (1980)
Conjuntos secuencialmente cerrados
Revista Colombiana de Matemáticas (ISSN 0034-7426)
Artículo
Caicedo X. (1980)
Matemáticas sin el axioma de escogencia
Matemáticas: Enseñanza Universitaria (ISSN 0120-6788)
Artículo
Caicedo X. (1980)
The subdirect decomposition theorem for classes of structures closed under direct limits
Journal of the Australian Mathematical Society. Series A. Pure mathematics and statistics (ISSN 0263-6115)
Artículo
Caicedo X. (1978)
A formal system for the non-theorems of the propositional calculus
Notre Dame Journal of Formal Logic (ISSN 0029-4527)
Artículo
Caicedo X. (1976)
Algoritmos, números de Fibonacci y el décimo problema de Hilbert
Boletín de Matemáticas (ISSN 0120-0380)
Artículo
Educación
Doctor Of Philosophy
Doctorado
University Of Maryland
1978
Estados Unidos
Master Of Science (Mathematics)
Maestría
University Of Ottawa
1972
Canadá
Ingeniero De Sistemas Y Computación
Título de grado
Universidad De Los Andes
1970
Colombia
Licenciado En Matemáticas
Título de grado
Universidad De Los Andes
1969
Colombia
Proyectos
- 2009
- Caracterización de lógicas modelo teóricas sin negación (con aplicaciones a lógica de Lukasiewicz y lógica continua)
Duración: 26 meses
PR.1.2009.4267
Sitio Web
Para consultar mi sitio web: Aquí