Séminaires : Séminaire Général de Logique

Equipe(s) : lm,
Responsables :S. Anscombe, V. Bagayoko, D. Basak, H. Fournier
Email des responsables : sylvy.anscombe@imj-prg.fr, bagayoko@imj-prg.fr, basak@imj-prg.fr, fournier@imj-prg.fr
Salle : 1013
Adresse :Sophie Germain
Description

Archives


Abonnement à la liste de diffusion


Orateur(s) Morgan Rogers - Paris Nord,
Titre Extending the Fraissé construction to positive logic
Date31/03/2025
Horaire15:45 à 16:45
Diffusion
Résume
In classical model theory, Fraissé's theorem provides sufficient conditions on the finite (or finitely generated) models of a theory for the existence of an "ultrahomogeneous" model into which all of the finite models embed and such that any embedding of finite models extends to an automorphism of the structure. Work of Caramello explains how the classifying topos of such a model is equivalent to the continuous actions of its automorphism group, suitably topologized.
 
In this talk we will discuss how the conditions can be generalized when we relax "ultrahomogeneous" to "homogeneous". Equivalently, rather than considering mere embeddings of structures, we allow for more general homomorphisms, which preserve only the `positive' fragment of first-order logic. There is a corresponding relationship to actions of topological monoids.
Salle1013
AdresseSophie Germain
© IMJ-PRG