Olivia Caramello

According to our database, Olivia Caramello authored at least 9 papers between 2011 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

On the dependent product in toposes.

Olivia Caramello, Riccardo Zanfa

Math. Log. Q., 2021

2017

Cyclic Theories.

Olivia Caramello, Nicholas Wentzlaff

Appl. Categorical Struct., 2017

2016

Lattice-Ordered Abelian Groups and Perfect MV-Algebras: a Topos-Theoretic Perspective.

Olivia Caramello, Anna Carla Russo

Bull. Symb. Log., 2016

Priestley-type dualities for partially ordered structures.

Olivia Caramello

Ann. Pure Appl. Log., 2016

2014

Topologies for intermediate logics.

Olivia Caramello

Math. Log. Q., 2014

Fraïssé's Construction from a Topos-Theoretic Perspective.

Olivia Caramello

Logica Universalis, 2014

A General Method for Building Reflections.

Olivia Caramello

Appl. Categorical Struct., 2014

2012

Atomic Toposes and Countable Categoricity.

Olivia Caramello

Appl. Categorical Struct., 2012

2011

A characterization theorem for geometric logic.

Olivia Caramello

Ann. Pure Appl. Log., 2011