Olivia Caramello

Publication Activity (10 Years)

Years Active: 2011-2021
Publications (10 Years): 4

Top Topics

Propositional Calculus

Distributive Lattices

Product Information

Top Venues

Appl. Categorical Struct.

Bull. Symb. Log.

Logica Universalis

Publications

Olivia Caramello, Riccardo Zanfa
On the dependent product in toposes. Math. Log. Q. 67 (3) (2021)
Olivia Caramello, Nicholas Wentzlaff
Cyclic Theories. Appl. Categorical Struct. 25 (1) (2017)
Olivia Caramello
Priestley-type dualities for partially ordered structures. Ann. Pure Appl. Log. 167 (9) (2016)
Olivia Caramello, Anna Carla Russo
Lattice-Ordered Abelian Groups and Perfect MV-Algebras: a Topos-Theoretic Perspective. Bull. Symb. Log. 22 (2) (2016)
Olivia Caramello
A General Method for Building Reflections. Appl. Categorical Struct. 22 (1) (2014)
Olivia Caramello
Fraïssé's Construction from a Topos-Theoretic Perspective. Logica Universalis 8 (2) (2014)
Olivia Caramello
Topologies for intermediate logics. Math. Log. Q. 60 (4-5) (2014)
Olivia Caramello
Atomic Toposes and Countable Categoricity. Appl. Categorical Struct. 20 (4) (2012)
Olivia Caramello
A characterization theorem for geometric logic. Ann. Pure Appl. Log. 162 (4) (2011)