BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CERN//INDICO//EN
BEGIN:VEVENT
SUMMARY:Ultraproduits
DTSTART:20231009T083000Z
DTEND:20231009T103000Z
DTSTAMP:20260504T203800Z
UID:indico-event-10693@indico.math.cnrs.fr
DESCRIPTION:Speakers: Charlotte Bartnick (Université de Freiburg)\n\nLes 
 ultraproduits sont une construction de la logique mathématique pour crée
 r à partir d’une famille de structures une nouvelle structure. Ils sont
  équipés d’un principe de transfert qui donne lieu à beaucoup d’app
 lications en algèbre et autres domaines. Dans cet exposé\, nous allons 
 d’abord étudier leur construction et le théorème de Los qui permet de
  déduire des propriétés de l’ultraproduit à partir des structures or
 iginales. La deuxième partie sera consacré à quelques exemples ainsi qu
 ’à la preuve du théorème d’Ax-Grothendieck à l’aide d’un ultra
 produit de corps. Cet exposé n’est pas lié au sujet de ma thèse en t
 héorie des modèles. Par contre\, je voudrais donner une introduction com
 préhensible pour tout mathématicien(ne) à ce sujet intéressant. Des co
 nnaissances préalables en logique ne sont pas nécessaires.\n\nhttps://in
 dico.math.cnrs.fr/event/10693/
LOCATION:Salle Fokko du Cloux (ICJ)
URL:https://indico.math.cnrs.fr/event/10693/
END:VEVENT
END:VCALENDAR