Paires positivement closes.

par Bruno Poizat (ICJ)

jeudi 9 nov. 2017, 10:30 → 11:30 Europe/Paris

Salle 112 (Bât. Braconnier)

Je commencerai par quelque chose de compréhensible : les paires de corps algébriquement clos ne sont pas amalgamables, et je comparerai les paires existentiellement closes aux belles paires.

Ensuite je donnerai quelques propriétés des paires de modèles
existentiellement closes dans un contexte robinsonien, et plus
généralement des paires positivement closes en Logique Positive.