It is well known that in a stable theory, all types are definable. In an unstable context, we can ask (like Cubides and Delon in [CD]) over which models $M$ of a given theory all types are definable. These models are exactly the models which are…
Eventi
DCP22 – Dynamics and Complexity Pisa 2022
For further information see the website of the conference.…