Séminaires : Théorie des modèles et groupes

Equipe(s) : lm,
Responsables :T. Ibarlucia, F. Oger, F. Point
Email des responsables : francoise.point@imj-prg.fr
Salle : 1013
Adresse :Salle 1013
Description

Pour recevoir le programme, écrivez à oger_at_math.univ-paris-diderot.fr
Le mardi à 10h30 en salle  1013 (Sophie Germain) - https://semgrp.imj-prg.fr pour plus de renseignements.

Abonnement à la liste de diffusion


Orateur(s) Ehud Hrushovski - Oxford University,
Titre Around continuous logic expansions of finite fields
Date23/09/2025
Horaire10:30 à 12:00
Diffusion
Résume
This is intended to be an informal companion to some work on continuous logic expansions of (pseudo) finite fields.
I plan to start with some very basic continuous logic aspects  (criteria for quantifier-elimination, for elimination of algebraically bounded quantifiers, 
for preservation of definable sets), but will be glad to be guided by the discussion.  
This forms a part of joint work with Will Johnson constructing a continuous-logic version of Grothendieck's sheaf-function correspondence over finite fields.
Salle1013
AdresseSalle 1013
© IMJ-PRG