Xavier Caicedo Ferrer

Profile

Recent Courses

2022
- TEORÍA DE MODELOS 1
  First period
  Master Level
  TEORÍA DE MODELOS 1
  First period
  Bachelor Level

Recent Products

Caicedo X, Badia G, Noguera C. (2023)

Maximality of logic without identity

Journal of Symbolic Logic (ISSN 0022-4812)

Article

Caicedo X, Metcalfe G, Rodriguez R, Tuyt O. (2022)

One-variable fragments of linear intermediate logics

Information and Computation (ISSN 0890-5401)

Article

Recent Degrees

Doctor Of Philosophy

Doctoral degree

University Of Maryland

1978

Estados Unidos

Master Of Science (Mathematics)

Master degree

University Of Ottawa

1972

Canadá

Recent Projects

2009
- Caracterización de lógicas modelo teóricas sin negación (con aplicaciones a lógica de Lukasiewicz y lógica continua)
  
  Duration: 26 months
  
  PR.1.2009.4267

Courses

2022
- TEORÍA DE MODELOS 1
  First period
  Master Level
  TEORÍA DE MODELOS 1
  First period
  Bachelor Level
2021
- LOGICA 2
  First period
  Bachelor Level
  LÓGICA 2
  First period
  Master Level
- LÓGICA 1
  Second period
  Bachelor Level
2020
- TOPOLOGÍA 1
  Second period
  Bachelor Level
  TEORÍA DE MODELOS 1
  First period
  Master Level
2019
- ALGEBRA ABSTRACTA 1
  First period
  Bachelor Level
  TOPOLOGIA 1
  First period
  Bachelor Level
2018
- ALGEBRA ABSTRACTA 2
  First period
  Master Level
  ALGEBRA ABSTRACTA 2
  Second period
  Bachelor Level
- ALGEBRA ABSTRACTA 2
  First period
  Bachelor Level
  ALGEBRA ABSTRACTA 1
  Second period
  Bachelor Level
2017
- ANALISIS 1
  First period
  Bachelor Level
  LOGICA 1
  Second period
  Bachelor Level
2016
- ANALISIS 1
  Second period
  Bachelor Level
  ANALISIS 1
  First period
  Bachelor Level
- ALGEBRA CONMUTATIVA
  Second period
  Master Level
2015
- CURSO TUTORIAL DE POSGRADO
  First period
  Master Level
  SEMINARIO DE TRABAJO DE GRADO
  First period
  Master Level
- PROYECTO DE TESIS 1
  First period
  Doctoral Level
  EXAMEN DE CONOCIMIENTO 2
  First period
  Doctoral Level
- SUSTENTACIÓN DE PROYECTO
  First period
  Doctoral Level
  PRETESIS 2
  First period
  Doctoral Level
- PRETESIS 3
  First period
  Doctoral Level
  DEFENSA DE TESIS
  First period
  Doctoral Level
- SEMINARIO DE POSTGRADO 2
  First period
  Master Level
  SEMINARIO DE POSTGRADO 1
  First period
  Master Level
- TRABAJO DE GRADO
  First period
  Master Level
  SEMINARIO DE POSTGRADO 1
  First period
  Doctoral Level
- PROYECTO DE TESIS 2
  First period
  Doctoral Level
  EXAMEN DE CONOCIMIENTO 1
  First period
  Doctoral Level
- PASANTIA
  First period
  Doctoral Level
  PRETESIS 4
  First period
  Doctoral Level
- PRETESIS 5
  First period
  Doctoral Level
  TESIS
  First period
  Doctoral Level
- LOGICA 2
  First period
  Bachelor Level
  CURSO TUTORIAL POSTGRADO 2
  First period
  Master Level
- SEMINARIO DE POSTGRADO 2
  First period
  Doctoral Level
  LOGICA MATEMATICA
  First period
  Master Level
2014
- TRABAJO DE GRADO
  First period
  Master Level
  SEMINARIO DE POSTGRADO 1
  First period
  Doctoral Level
- EXAMEN DE CONOCIMIENTO 1
  Second period
  Doctoral Level
  EXAMEN DE CONOCIMIENTO 2
  First period
  Doctoral Level
- PRETESIS 3
  First period
  Doctoral Level
  PRETESIS 4
  Second period
  Doctoral Level
- DEFENSA DE TESIS
  First period
  Doctoral Level
  INTERCAMBIO INTERNACIONAL
  First period
  Doctoral Level
- LOGICA 1
  Second period
  Bachelor Level
  TOPOLOGIA 1
  First period
  Bachelor Level
- CURSO TUTORIAL DE POSGRADO
  First period
  Master Level
  CURSO TUTORIAL DE POSGRADO
  Second period
  Master Level
- CURSO TUTORIAL POSTGRADO 2
  First period
  Master Level
  SEMINARIO DE POSTGRADO 1
  First period
  Master Level
- SEMINARIO DE POSTGRADO 1
  Second period
  Master Level
  SEMINARIO DE POSTGRADO 2
  Second period
  Master Level
- SEMINARIO DE POSTGRADO 2
  First period
  Master Level
  SEMINARIO DE TRABAJO DE GRADO
  First period
  Master Level
- SEMINARIO DE TRABAJO DE GRADO
  Second period
  Master Level
  TRABAJO DE GRADO
  Second period
  Master Level
- SEMINARIO DE POSTGRADO 1
  Second period
  Doctoral Level
  SEMINARIO DE POSTGRADO 2
  First period
  Doctoral Level
- PROYECTO DE TESIS 1
  First period
  Doctoral Level
  PROYECTO DE TESIS 1
  Second period
  Doctoral Level
- PROYECTO DE TESIS 2
  Second period
  Doctoral Level
  PROYECTO DE TESIS 2
  First period
  Doctoral Level
- EXAMEN DE CONOCIMIENTO 1
  First period
  Doctoral Level
  EXAMEN DE CONOCIMIENTO 2
  Second period
  Doctoral Level
- SUSTENTACIÓN DE PROYECTO
  Second period
  Doctoral Level
  PASANTIA
  First period
  Doctoral Level
- PASANTIA
  Second period
  Doctoral Level
  PRETESIS 1
  First period
  Doctoral Level
- PRETESIS 2
  First period
  Doctoral Level
  PRETESIS 2
  Second period
  Doctoral Level
- PRETESIS 3
  Second period
  Doctoral Level
  PRETESIS 4
  First period
  Doctoral Level
- PRETESIS 5
  Second period
  Doctoral Level
  TESIS
  First period
  Doctoral Level
- TESIS
  Second period
  Doctoral Level
  DEFENSA DE TESIS
  Second period
  Doctoral Level
2013
- TEORIA DE MODELOS 1
  First period
  Master Level
  TOPOLOGIA 1
  Second period
  Bachelor Level

Products

Caicedo X, Badia G, Noguera C. (2023)

Maximality of logic without identity

Journal of Symbolic Logic (ISSN 0022-4812)

Article

Caicedo X, Metcalfe G, Rodriguez R, Tuyt O. (2022)

One-variable fragments of linear intermediate logics

Information and Computation (ISSN 0890-5401)

Article

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)

Article

Caicedo X, Mantilla-Soler G. (2019)

On a characterization of path connected topological fields

Journal of Pure and Applied Algebra (ISSN 0022-4049)

Article

Caicedo X, Metcalfe G, Rodriguez R, Tuyt O. (2019)

The One-Variable Fragment of Corsi Logic

Lecture Notes in Computer Science (ISSN 0302-9743)

Article

Caicedo X, Metcalfe G, Rodriguez R, Rogger J. (2017)

Decidability of Order-Based Modal Logics

Journal of Computer and System Sciences (ISSN 0022-0000)

Article

Caicedo X. (2017)

Maximality of continuous logic

Beyond First Order Model Theory (ISBN 9781498753975)

Inbook

Davila K .(2017). Omitting types and ?-Categoricity for linear Kripke Sheaves.

Omitting types and ?-Categoricity for linear Kripke Sheaves

Thesis

Caicedo X, Pinzon S. (2016)

On inverse limits of compact structures

South American Journal of Logic (ISSN 2446-6719)

Article

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

Thesis

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)

Inbook

Pinzon S .(2014). Límites inversos de estructuras compactas.

Límites inversos de estructuras compactas

Thesis

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)

Article

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)

Article

Peña N .(2013). Logics strongly capturing PTIME on classes of structures.

Logics strongly capturing PTIME on classes of structures

Thesis

Caicedo X. (2013)

Model Theory

Encyclopedia of Sciences and Religions (ISBN 978-1-4020-8264-1)

Inbook

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)

Article

Caicedo X, Rodríguez R O. (2010)

Standard Godel Modal Logics

Studia Logica (ISSN 0039-3215)

Article

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)

Article

Caicedo X. (2007)

Implicit operations in MV-algebras and the connectives of Lukasiewicz logic

Lecture Notes in Computer Science (ISSN 0302-9743)

Article

Caicedo X. (2004)

Definability and automorphisms in abstract logics

Archive for Mathematical Logic (ISSN 0933-5846)

Article

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)

Article

Caicedo X. (2004)

Implicit connectives of algebraizable logics

Studia Logica (ISSN 0039-3215)

Article

Caicedo X, Cignoli R. (2001)

An algebraic approach to intuitionistic connectives

Journal of Symbolic Logic (ISSN 0022-4812)

Article

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)

Article

Caicedo X. (1999)

Models, algebras, and proofs

Book

Caicedo X. (1999)

Quantifiers for reasoning with imperfect information and Sigma-1-1 logic

Contemporary Mathematics (ISSN 0271-4132)

Article

Caicedo X. (1999)

The Abstract Compactness Theorem Revisited

LOGIC AND FOUNDATIONS OF MATHEMATICS (ISBN 0-7923-5659-4)

Inbook

Caicedo X. (1998)

El teorema de Tichonof para formas débiles de compacidad

Boletín de Matemáticas (ISSN 0120-0380)

Article

Caicedo X. (1998)

Subdirect Decomposition of n-Chromatic Graphs

Journal of Algebraic Combinatorics (ISSN 0925-9899)

Article

Caicedo X. (1998)

Syntactical content of finite approximations of partial algebras

Lecture Notes in Computer Science (ISSN 0302-9743)

Article

Caicedo X. (1997)

Conectivos Sobre Espacios Topológicos

Revista de la Academia Colombiana de Ciencias exactas, Físicas y Naturales (ISSN 0370-3908)

Article

Caicedo X. (1995)

Continuous operations on spaces of structures

QUANTIFIERS: LOGICS, MODELS AND COMPUTATION Vol. II (ISBN 0-7923-3449-3)

Inbook

Caicedo X. (1995)

Finitely axiomatizable quasivarieties of graphs

Algebra Universalis (ISSN 0002-5240)

Article

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)

Inbook

Caicedo X. (1995)

Investigaciones sobre los conectivos intuicionistas

Revista de la Academia Colombiana de Ciencias exactas, Físicas y Naturales (ISSN 0370-3908)

Article

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)

Article

Caicedo X. (1993)

Compactness and normality in abstract logics

Annals of Pure and Applied Logic (ISSN 0168-0072)

Article

Caicedo X. (1993)

Equivalencia elementar entre feixes

Notas de Lógica Matemática (ISSN 0078-2017)

Article

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)

Article

Caicedo X. (1992)

Raíces de Composición

Matemáticas: Enseñanza Universitaria (ISSN 0120-6788)

Article

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)

Article

Caicedo X. (1990)

Definability properties and the congruence closure

Archive for Mathematical Logic (ISSN 0933-5846)

Article

Caicedo X. (1990)

Elementos de lógica y calculabilidad

Book

Caicedo X. (1988)

Logics and pseudogroups

Contemporary Mathematics (ISSN 0271-4132)

Article

Caicedo X. (1986)

A simple solution to Friedman's fourth problem

Journal of Symbolic Logic (ISSN 0022-4812)

Article

Caicedo X. (1986)

Cuantificadores Generalizados y el Teorema de Lindström

Acta Cientifica Venezolana (ISSN 0001-5504)

Article

Caicedo X. (1986)

¿Son todos los infinitesimales representables por sucesiones convergentes a cero?

Matemáticas: Enseñanza Universitaria (ISSN 0120-6788)

Article

Caicedo X. (1985)

Failure of interpolation for quantifiers of monadic type

Lecture Notes in Mathematics (ISSN 0075-8434)

Article

Caicedo X. (1985)

Propiedades estructurales de *R

Matemáticas: Enseñanza Universitaria (ISSN 0120-6788)

Article

Caicedo X. (1982)

Espacios no triviales de convergencia trivial

LECTURAS MATEMATICAS (ISSN 0120-1980)

Article

Caicedo X. (1981)

Congruences in regular categories

Revista Colombiana de Matemáticas (ISSN 0034-7426)

Article

Caicedo X. (1981)

Independent sets of axioms in L κα

CANADIAN MATHEMATICAL BULLETIN (ISSN 1496-4287)

Article

Caicedo X. (1981)

On extensions of L ωω (Q 1 )

Notre Dame Journal of Formal Logic (ISSN 0029-4527)

Article

Caicedo X. (1980)

Back-and-Forth Systems for Arbitrary Quantifiers

Studies in Logic and the Foundations of Mathematics (ISSN 0049-237X)

Article

Caicedo X. (1980)

Conjuntos secuencialmente cerrados

Revista Colombiana de Matemáticas (ISSN 0034-7426)

Article

Caicedo X. (1980)

Matemáticas sin el axioma de escogencia

Matemáticas: Enseñanza Universitaria (ISSN 0120-6788)

Article

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)

Article

Caicedo X. (1978)

A formal system for the non-theorems of the propositional calculus

Notre Dame Journal of Formal Logic (ISSN 0029-4527)

Article

Caicedo X. (1976)

Algoritmos, números de Fibonacci y el décimo problema de Hilbert

Boletín de Matemáticas (ISSN 0120-0380)

Article

Degrees

Doctor Of Philosophy

Doctoral degree

University Of Maryland
1978

Estados Unidos

Master Of Science (Mathematics)

Master degree

University Of Ottawa
1972

Canadá
Ingeniero De Sistemas Y Computación

Bachelor degree

Universidad De Los Andes
1970

Colombia

Licenciado En Matemáticas

Bachelor degree

Universidad De Los Andes
1969

Colombia

Projects

2009
- Caracterización de lógicas modelo teóricas sin negación (con aplicaciones a lógica de Lukasiewicz y lógica continua)
  
  Duration: 26 months
  
  PR.1.2009.4267

Sitio Web

Para consultar mi sitio web: Aquí

Francisco Xavier Caicedo Ferrer

Profile

Recent Courses

TEORÍA DE MODELOS 1

First period

Master Level

TEORÍA DE MODELOS 1

First period

Bachelor Level

Recent Products

Recent Degrees

Recent Projects

Courses

TEORÍA DE MODELOS 1

First period

Master Level

TEORÍA DE MODELOS 1

First period

Bachelor Level

LOGICA 2

First period

Bachelor Level

LÓGICA 2

First period

Master Level

LÓGICA 1

Second period

Bachelor Level

TOPOLOGÍA 1

Second period

Bachelor Level

TEORÍA DE MODELOS 1

First period

Master Level

ALGEBRA ABSTRACTA 1

First period

Bachelor Level

TOPOLOGIA 1

First period

Bachelor Level

ALGEBRA ABSTRACTA 2

First period

Master Level

ALGEBRA ABSTRACTA 2

Second period

Bachelor Level

ALGEBRA ABSTRACTA 2

First period

Bachelor Level

ALGEBRA ABSTRACTA 1

Second period

Bachelor Level

ANALISIS 1

First period

Bachelor Level

LOGICA 1

Second period

Bachelor Level

ANALISIS 1

Second period

Bachelor Level

ANALISIS 1

First period

Bachelor Level

ALGEBRA CONMUTATIVA

Second period

Master Level

CURSO TUTORIAL DE POSGRADO

First period

Master Level

SEMINARIO DE TRABAJO DE GRADO

First period

Master Level

PROYECTO DE TESIS 1

First period

Doctoral Level

EXAMEN DE CONOCIMIENTO 2

First period

Doctoral Level

SUSTENTACIÓN DE PROYECTO