Designed and built with care, filled with creative elements

Image Alt

Definable types in ACVF.

  /  Évènements
Chargement Évènements
  • Cet évènement est passé



Definable types in ACVF.

Given a pair of models Kprec L of a first-order theory T, the pair is said to be stable if the following property holds: all types over K which are realized in L are definable. Marker and Steinhorn characterized stable pairs of models of o-minimal theories as pairs K prec L where K is Dedekind complete in L. In this talk we provide a characterization of stable pairs of algebraically closed valued fields K prec L. To get a flavor of the topic, different examples will be discussed and a brief introduction to some model-theoretic aspects of stable pairs will be given. This is a joint work with Françoise Delon.

- Séminaire Géométrie et théorie des modèles

Détails :

Orateur / Oratrice : Pablo Cubides-Kovacsics
Date : 6 mars 2015
Horaire : 14h15 - 14h15
Lieu : ENS Salle W