Model theory of Booleanizations, products and sheaves of structures

Seminar series

Advanced Class Logic

Date

Thu, 07 Mar 2024

Time

11:00 - 12:00

Location

Speaker

Jamshid Derakhshan

Organisation

University of Oxford

I will talk about some model-theoretic properties of Booleanizations of theories, subdirect products of structures, and sheaves of structures. I will discuss a result of Macintyre from 1973 on model-completeness, and more recent results jointly with Ehud Hrushovski and with Angus Macintyre.