2 citations · 2 across the 2 of their papers we have counts for
3 papers
math.LO2023
A complete classification of categoricity spectra of accessible categories with directed colimits
Christian Espindola
We provide a complete classification of all the possible categoricity spectra, in terms of internal size, that can appear in a large accessible category with directed colimits, ass…
math.LO2018★ 2 cited
A complete axiomatization of infinitary first-order intuitionistic logic over
Christian Espíndola
Given a weakly compact cardinal , we give an axiomatization of intuitionistic first-order logic over and prove it is sound and complete with respect to Kr…
math.LO2017
Infinitary first-order categorical logic
Christian Espíndola
We present a unified categorical treatment of completeness theorems for several classical and intuitionistic infinitary logics with a proposed axiomatization. This provides new com…