Synthical
Your space
Profile
Activity
Favorites
Folders
Feeds
All articles
Claim page
Christian Espíndola
Follow
Activity
Upvotes
Folders
Articles
9
Every theory is eventually of presheaf type
19 December 2023 by
Christian Espíndola
and
Kristóf Kanalas
Category Theory
Preservation theorems for strong first-order logics
26 December 2019 by
Christian Espíndola
Logic
,
Category Theory
A short proof of Shelah's eventual categoricity conjecture for AEC's with amalgamation, under
GCH
2 October 2019 by
Christian Espíndola
Logic
,
Category Theory
A topos-theoretic proof of Shelah's eventual categoricity conjecture for abstract elementary classes
3 July 2019 by
Christian Espíndola
Logic
,
Category Theory
Completeness of infinitary heterogeneous logic
31 January 2019 by
Christian Espíndola
Logic
,
Category Theory
A complete axiomatization of infinitary first-order intuitionistic logic over
\mathcal{L}_{κ^+, κ}
31 December 2018 by
Christian Espíndola
Logic
Constructive completeness and non-discrete languages
18 September 2017 by
Henrik Forssell
and
Christian Espíndola
Logic
Infinitary generalizations of Deligne's completeness theorem
6 September 2017 by
Christian Espíndola
Logic
,
Category Theory
Infinitary first-order categorical logic
5 January 2017 by
Christian Espíndola
Logic
,
Category Theory
This is an AI-generated summary
Key points
Topics
Logic
Category Theory
