Séminaires : Structures algébriques ordonnées

Equipe(s) : lm,
Responsables :F. Delon, M. Dickmann, D. Gondard, T. Servi
Email des responsables :
Salle : 1016
Adresse :Sophie Germain
Description


Mardi de 14h00 à 15h45
Page du séminaire et programmeRetour ligne automatique
Abonnement à la liste de diffusion


Orateur(s) Immanuel Halupczok - Heinrich-Heine-Universität Düsseldorf,
Titre Classifying definable sets in ℤ-groups
Date27/02/2018
Horaire14:15 à 15:45
RésumeATTENTION : EXCEPTIONNELLEMENT, CET EXPOSÉ AURA LIEU À L’INSTITUT HENRI POINCARÉ.
Definable sets in the ordered abelian group ℤ are very well understood, via Presburger arithmetic. In particular, one can easily give a complete classification of definable subsets of ℤ^n up to definable bijection: Finite sets are classified by their cardinality and infinite sets are classified by a notion of dimension. Surprisingly, things become more difficult if one works in an elementary extension of ℤ. In the talk, I will present a complete classification of definable sets in that setting. This is joint work with Raf Cluckers.
Salle1016
AdresseSophie Germain
© IMJ-PRG