Christian Espíndola

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A complete axiomatization of infinitary first-order intuitionistic logic over $\mathcal{L}_{\kappa^+ , \kappa} $ Annals of Pure and Applied Logic	2024-10-07	Paper
Every theory is eventually of presheaf type	2023-12-19	Paper
A complete classification of categoricity spectra of accessible categories with directed colimits	2023-01-30	Paper
Infinitary generalizations of Deligne's completeness theorem Journal of Symbolic Logic	2021-03-19	Paper
A short proof of Shelah's eventual categoricity conjecture for AEC's with interpolation, under $GCH$	2019-09-30	Paper
A proof of Shelah's eventual categoricity conjecture and an extension to accessible categories with directed colimits	2019-06-21	Paper
Preservation theorems for strong first-order logics	2019-06-21	Paper
Completeness of infinitary heterogeneous logic	2019-01-31	Paper
Infinitary first-order categorical logic Annals of Pure and Applied Logic	2018-11-29	Paper
A complete axiomatization of infinitary first-order intuitionistic logic over $\mathcal{L}_{\kappa^+, \kappa}$	2018-06-15	Paper
Constructive completeness and non-discrete languages	2017-09-18	Paper
Erratum to: ``Semantic completeness of first-order theories in constructive reverse mathematics Notre Dame Journal of Formal Logic	2017-02-17	Paper
Semantic completeness of first-order theories in constructive reverse mathematics Notre Dame Journal of Formal Logic	2016-05-25	Paper
Semantic completeness of first-order theories in constructive reverse mathematics Notre Dame Journal of Formal Logic	2016-05-25	Paper
A short proof of Glivenko theorems for intermediate predicate logics Archive for Mathematical Logic	2013-11-06	Paper

Research outcomes over time

This page was built for person: Christian Espíndola