Logic Seminar - Martin Hils

Date: 
Wed, 04/06/202511:00-13:00
Location: 
Zoom
Zoom link: https://huji.zoom.us/j/85378924555?pwd=Z6iGvQUkcKVspVbz9IzFbPJnuHpjkQ.1
Meeting ID: 853 7892 4555
Passcode: 871876
Title: Failure of the amalgamation property for definable types
Abstract: In recent joint work with Pablo Cubides Kovacsics and Jinhe Ye on beautiful pairs in the unstable context, the amalgamation property (AP) for the class of global definable types plays a key role. In the talk, we will first indicate some important cases in which AP holds, and we will then present the construction of examples of theories - some even NIP - obtained in joint work with Rosario Mennuni, where AP fails.