Designed and built with care, filled with creative elements

Image Alt

NSOP_1, Kim-independence, and simplicity at a generic scale

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



NSOP_1, Kim-independence, and simplicity at a generic scale

The class of NSOP_1 theories properly contains the simple theories and is contained in the class of theories without the tree property of the first kind. We will describe a notion of independence called Kim-independence, which corresponds to non-forking independence ‘at a generic scale.’ In an NSOP_1 theory, Kim-independence is symmetric and satisfies a version of Kim’s lemma and the independence theorem. Moreover, these properties of Kim-independence individually characterize NSOP_1 theories. We will talk about what Kim-independence looks like in several concrete examples: parametrized equivalence relations, Frobenius fields, and vector spaces with a bilinear form. This is joint work with Itay Kaplan.

- Théorie des Modèles et Groupes

Détails :

Orateur / Oratrice : Nick Ramsey
Date : 28 mars 2017
Horaire : 16h00 - 16h00
Lieu : Sophie Germain salle 1016