CARAMELLO, OLIVIA
CARAMELLO, OLIVIA
DIPARTIMENTO DI SCIENZA E ALTA TECNOLOGIA
A characterization theorem for geometric logic
2011-01-01 Caramello, Olivia
A general method for building reflections
2014-01-01 Caramello, Olivia
Atomic toposes and countable categoricity
2012-01-01 Caramello, Olivia
Cyclic theories
2017-01-01 Caramello, Olivia; Wentzlaff, Nicholas
De Morgan classifying toposes
2009-01-01 Caramello, Olivia
De Morgan's law and the theory of fields
2009-01-01 Caramello, Olivia; Johnstone, Peter
Denseness conditions, morphisms and equivalences of toposes
2020-01-01 Caramello, Olivia
Fraïssé's Construction from a Topos-Theoretic Perspective
2014-01-01 Caramello, Olivia
General affine adjunctions, Nullstellensätze, and dualities
2021-01-01 Caramello, Olivia; Marra, Vincenzo; Spada, Luca
Grothendieck Toposes as Unifying 'Bridges': A Mathematical Morphogenesis
2022-01-01 Caramello, Olivia
La « notion unificatrice » de topos
2021-01-01 Caramello, Olivia
LATTICE-ORDERED ABELIAN GROUPS and PERFECT MV-ALGEBRAS: A TOPOS-THEORETIC PERSPECTIVE
2016-01-01 Caramello, Olivia; Russo, Anna Carla
On the dependent product in toposes
2021-01-01 Caramello, O.; Zanfa, R.
On the geometric theory of local MV-algebras
2017-01-01 Caramello, Olivia; Russo, A. C.
Priestley-type dualities for partially ordered structures
2016-01-01 Caramello, Olivia
Relative topos theory via stacks
2021-01-01 Caramello, Olivia; Zanfa, Riccardo
Site characterizations for geometric invariants of toposes
2012-01-01 Caramello, Olivia
Some aspects of topological Galois theory
2019-01-01 Caramello, O.; Lafforgue, L.
Syntactic categories for Nori motives
2018-01-01 Barbieri-Viale, Luca; Caramello, Olivia; Lafforgue, Laurent
Syntactic characterizations of properties of classifying toposes
2012-01-01 Caramello, Olivia