Date:
Wed, 29/10/202511:00-13:00
Location:
Ross 70
Zoom link: https://huji.zoom.us/j/86478502012?pwd=j4k9BrkpUA0yobFReI93UmKiJ6ZOmz.1
Meeting ID: 864 7850 2012
Passcode: 236598
Title: Existence over a predicate
Abstract: Joint project with Martin Bays and Pierre Simon.
Suppose that L contains a predicate symbol P and that T is some complete theory such that P is stably embedded. We give a sufficient condition that implies existence: any model of the induced theory T^P is the P part of a model T and give some examples where existence fails.
Meeting ID: 864 7850 2012
Passcode: 236598
Title: Existence over a predicate
Abstract: Joint project with Martin Bays and Pierre Simon.
Suppose that L contains a predicate symbol P and that T is some complete theory such that P is stably embedded. We give a sufficient condition that implies existence: any model of the induced theory T^P is the P part of a model T and give some examples where existence fails.