Pour recevoir le programme, écrivez à oger_at_math.univ-paris-diderot.fr
Le mardi à 16h00 en salle 1013 (Sophie Germain) - http://semgrp.imj-prg.fr pour plus de renseignements.
Orateur(s)
Juan Pablo Acosta - U. Los Andes,
Titre
Groups definable in Presburger arithmetic
Date
07/05/2019
Horaire
16:00 à 17:30
Diffusion
Résume
I will give a complete description of all groups definable in Presburger arithmetic, up to finite index subgroups. This builds on previous work on bounded groups in Presburger arithmetic by Mariana Vicaria and Alf Onshuus.