On some Fraisse limits with free amalgamation

Yvon Bossut

Published 2024-03-12Version 1

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 Fraisse class satisfying some strong conditions. These limits will satisfy existence, that Kim independence and algebraic independence coincide over arbitrary sets, that forcing base monotonicity on Kim-independance gives forking independence, and they come with a stationary independence relation. This study is based on the results of Baudish, Ramsey, Chernikov and Kruckman.