E-LIB Suche - Ergebnisse für: Caramello, Olivia

1

The Unification of Mathematics via Topos Theory:

, In: Studies in Universal Logic; Logic in Question,

Caramello, Olivia - p. 563-601 , 2022

Link: https://doi.org/10.1007/..

2

General affine adjunctions, Nullstellensätze, and dualities:

Caramello, Olivia ; Marra, Vincenzo ; Spada, Luca
Journal of Pure and Applied Algebra. 225 (2021) 1 - p. 106470 , 2021

Link: https://doi.org/10.1016/..

3

On the dependent product in toposes:

Caramello, Olivia ; Zanfa, Riccardo
Mathematical Logic Quarterly. 67 (2021) 3 - p. 282-294 , 2021

Link: https://doi.org/10.1002/..

4

Some aspects of topological Galois theory:

Caramello, Olivia ; Lafforgue, Laurent
Journal of Geometry and Physics. 142 (2019) - p. 287-317 , 2019

Link: https://doi.org/10.1016/..

5

Syntactic categories for Nori motives:

Barbieri-Viale, Luca ; Caramello, Olivia ; Lafforgue, Laurent
Selecta Mathematica. 24 (2018) 4 - p. 3619-3648 , 2018

Link: https://doi.org/10.1007/..

6

Theories, sites, toposes: relating and studying mathematica..:

Caramello, Olivia - First edition . , 2018

Link: http://dx.doi.org/10.109..

7

Priestley-type dualities for partially ordered structures:

Caramello, Olivia
Annals of Pure and Applied Logic. 167 (2016) 9 - p. 820-849 , 2016

Link: https://doi.org/10.1016/..

8

LATTICE-ORDERED ABELIAN GROUPS AND PERFECT MV-ALGEBRAS: A T..:

CARAMELLO, OLIVIA ; RUSSO, ANNA CARLA
The Bulletin of Symbolic Logic. 22 (2016) 2 - p. 170-214 , 2016

Link: https://doi.org/10.1017/..

9

LATTICE-ORDERED ABELIAN GROUPS AND PERFECT MV-ALGEBRAS: A T..:

CARAMELLO, OLIVIA ; RUSSO, ANNA CARLA
The Bulletin of Symbolic Logic. 22 (2016) 2 - p. 170-214 , 2016

Link: https://www.jstor.org/st..

10

Cyclic Theories:

Caramello, Olivia ; Wentzlaff, Nicholas
Applied Categorical Structures. 25 (2015) 1 - p. 105-126 , 2015

Link: https://doi.org/10.1007/..

11

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

Caramello, Olivia
Logica Universalis. 8 (2014) 2 - p. 261-281 , 2014

Link: https://doi.org/10.1007/..

12

Topologies for intermediate logics:

Caramello, Olivia
Mathematical Logic Quarterly. 60 (2014) 4-5 - p. 335-347 , 2014

Link: https://doi.org/10.1002/..

13

A General Method for Building Reflections:

Caramello, Olivia
Applied Categorical Structures. 22 (2013) 1 - p. 99-118 , 2013

Link: https://doi.org/10.1007/..

14

Grothendieck Toposes as Unifying 'Bridges': A Mathematical ..:

, In: Boston Studies in the Philosophy and History of Science; Objects, Structures, and Logics,

Caramello, Olivia - p. 233-255 , 2012

Link: https://doi.org/10.1007/..

15

Universal models and definability:

CARAMELLO, OLIVIA
Mathematical Proceedings of the Cambridge Philosophical Society. 152 (2011) 2 - p. 279-302 , 2011

Link: https://doi.org/10.1017/..