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

Equipe(s) : lm,
Responsables :Z. Chatzidakis, F. Oger, F. Point
Email des responsables : zoe.chatzidakis@imj-prg.fr
Salle : 1013
Adresse :Salle 1013

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) Kaisa Kangas - Helsinki,
Titre An abstract elementary class framework for fields with commuting automorphisms
Horaire16:00 à 17:30

We take a look at structures that consist of a field together with finitely many distinguished field automorphisms required to commute. The theory of fields with one distinguished automorphism has a model companion known as ACFA, which Z. Chatzidakis and E. Hrushovski have studied in depth. However, Hrushovski has proved that if you look at fields with two or more commuting automorphisms, then the existentially closed models of the theory do not form a first order model class. This leads us to investigate them within a non-elementary framework. One way of doing non-elementary model theory is to move from elementary classes to the more general setting of abstract elementary classes (AECs). In the first order world, classes of structures are usually defined syntactically as model classes of a given first order theory. An AEC is defined more semantically, as a class of structures together with a binary relation that generalises the first-order elementary submodel relation. In this talk, we go through some basics of AECs and present an AEC framework for studying fields with commuting automorphisms.

AdresseSalle 1013