Date:
Wed, 02/04/202510:30-12:00
Zoom link: https://huji.zoom.us/j/82593073281?pwd=QDeoslNJzNZYbbOM6Fv0l7bo3NMnil.1
Meeting ID: 825 9307 3281
Passcode: 654539
Title: On semi-equations
Abstract: The notion of a semi-equation was introduced by Chernikov and Mennen to generalize the notion of an equation from stable formulas to NIP formulas.
In this talk, we will first review and establish some general facts about semi-equations, in particular highlighting their connection to both (stable) equations and distality.
Afterwards, we will study honest definitions in this context and show that every semi-equation has a (uniform) honest definition that itself is NIP.
Finally, we'll focus on the subclass of 1-semi-equations (which generalize weakly normal formulas) and their connection to partial orders of finite width and basic relations.
Meeting ID: 825 9307 3281
Passcode: 654539
Title: On semi-equations
Abstract: The notion of a semi-equation was introduced by Chernikov and Mennen to generalize the notion of an equation from stable formulas to NIP formulas.
In this talk, we will first review and establish some general facts about semi-equations, in particular highlighting their connection to both (stable) equations and distality.
Afterwards, we will study honest definitions in this context and show that every semi-equation has a (uniform) honest definition that itself is NIP.
Finally, we'll focus on the subclass of 1-semi-equations (which generalize weakly normal formulas) and their connection to partial orders of finite width and basic relations.