Séminaires : Structures algébriques ordonnées

Equipe(s) : lm,
Responsables :F. Delon, M. Dickmann, D. Gondard
Email des responsables : dickmann@math.univ-paris-diderot.fr
Salle : 1016
Adresse :Sophie Germain

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

Orateur(s) Alexi Block Gorman - University of Illinois at Urbana-Champaign,
Titre O-minimal Expansions of Groups with a Predicate for a Dense Substructure Expanding a Group
Horaire14:00 à 15:45
RésumeThis talk concerns a couple properties of the theory obtained by adding a dense/codense algebraic substructure to an o-minimal expansion of an ordered divisible abelian group. I will discuss a characterization of when the expansion of an o-minimal group by a generic subgroup has a model companion. This characterization proves to be geometric in essence, and hence is similar in spirit to criteria for the property of near-model completeness. I will discuss a few examples of an o-minimal theory with a predicate for an algebraic substructure that is not generic, but satisfies some geometric criteria that imply near-model completeness. Namely, the examples are pairs of ordered vector spaces with different base fields, and pairs of fields such that one is real closed and one is pseudo-real closed.
AdresseSophie Germain