Raffaele Lamagna Doctorant Direction de thèse : Marc Aiguier et Olivia Caramello

Mots-Clefs : Théorie des topos, Topos relatifs, Logique catégorielle

Le but de ma thèse est celui de developper une logique (géométrique) relative, c'est à dire une logique adaptée à la desciption de théories qui dépendent d'autres théorie, comme, par example, la théorie des modules sur un anneau dépend de la théorie des anneaux. Les théories géométriques classiques du premier ordre peuvent être interpretées naturellement dans des topos. De la même façon une théorie géométrique relative devra être interpretée dans des topos relatifs.