Christian Espíndola

Available identifiers

Publication	Date of Publication	Type
A complete axiomatization of infinitary first-order intuitionistic logic over $\mathcal{L}_{\kappa^+ , \kappa} $	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	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	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	2017-02-17	Paper
Semantic completeness of first-order theories in constructive reverse mathematics	2016-05-25	Paper
A short proof of Glivenko theorems for intermediate predicate logics	2013-11-06	Paper

This page was built for person: Christian Espíndola