A characterization theorem for geometric logic. - Olivia Caramello (Ann. Pure Appl. Log., 2011)

Atomic Toposes and Countable Categoricity. - Olivia Caramello (Appl. Categorical Struct., 2012)

A General Method for Building Reflections. - Olivia Caramello (Appl. Categorical Struct., 2014)

Fraïssé's Construction from a Topos-Theoretic Perspective. - Olivia Caramello (Logica Universalis, 2014)

Topologies for intermediate logics. - Olivia Caramello (Math. Log. Q., 2014)

Priestley-type dualities for partially ordered structures. - Olivia Caramello (Ann. Pure Appl. Log., 2016)

Lattice-Ordered Abelian Groups and Perfect MV-Algebras: a Topos-Theoretic Perspective. - Olivia Caramello; Anna Carla Russo (Bull. Symb. Log., 2016)

Cyclic Theories. - Olivia Caramello; Nicholas Wentzlaff (Appl. Categorical Struct., 2017)

On the dependent product in toposes. - Olivia Caramello; Riccardo Zanfa (Math. Log. Q., 2021)