About me

As of December 31st 2020 I'm appointed associate professor at the University of la Réunion - Île de la Réunion (Indian Ocean) - France. Before that I held a postdoc position at Masaryk University in Brno, Czech Republic. I got my PhD in 2016 at Stockholm University, under the direction of Erik Palmgren and Henrik Forssell. Previously I had obtained my master in Buenos Aires University. I'm interested in logic and foundations, especially categorical logic, set theory, model theory and metamathematics.

Selected papers and preprints

• Every theory is eventually of presheaf type (with Kristóf Kanalas)

• A complete classification of categoricity spectra of accessible categories with directed colimits

• A proof of Shelah's eventual categoricity conjecture and an extension to accessible categories with directed colimits

• A short proof of Shelah's eventual categoricity conjecture for AEC's with interpolation, under GCH

• Preservation theorems for strong first-order logics

• Infinitary first-order categorical logic -  Annals of Pure and Applied Logic - Volume 170, Issue 2, pp. 137-162 (2019)

• Infinitary generalizations of Deligne's completeness theorem -The Journal of Symbolic Logic - Volume 85, Issue 3, pp. 1147-1162 (2020)

• Completeness of infinitary heterogeneous logic - To appear in Notre Dame Journal of Formal Logic

• A complete axiomatization of intuitionistic first-order logic over L_k^+, k - Annals of Pure and Applied Logic - Volume 176, Issue 1 (2025)

• Constructive completeness and non-discrete languages (with Henrik Forssell)

• A short proof of Glivenko theorems for intermediate predicate logics - Archive for Mathematical Logic - Volume 52, Issue 7, pp. 823-826 (2013)

Videos

Talk at the conference "Toposes in Como":

• Infinitary generalizations of Deligne's completeness theorem

Masaryk University online seminar:

• A topos-theoretic proof of Shelah's eventual categoricity conjecture 

• Topos-theoretic completeness theorems 

• Categoricity in infinite quantifier theories

Erik Palmgren's memorial conference:

• An extension of Morley's categoricity theorem to infinite quantifier languages

Carnegie Mellon Model Theory Seminar:

• A category-theoretic approach to categoricity (I)            (Passcode: =8cMaQc8 )

• A category-theoretic approach to categoricity (II)           (Passcode: U09=Y*tV )

• A category-theoretic approach to categoricity (III)          (Passcode: d3VG0!Z. )