On some Fraïssé limits with free amalgamation
Résumé
In the first section of this work we discuss some curiosities around stable Kim-forking. In the second section we give a general way of building some known and some new examples of NSOP1 theories as the limit of some Fraiısse class satisfying some strong conditions. These limits will satisfy existence, the Kim forking and algebraic indepedence coincide over arbitrary sets, that forcing base monotonicity of Kim-forking gives forking and they come with a stationary independence relation. This study is based on the results of Baudish, Ramsey, Chernikov and Kruckman
Domaines
Logique [math.LO]Origine | Fichiers produits par l'(les) auteur(s) |
---|