Thu, 07 Mar 2024
11:00 -
12:00
C3
Model theory of Booleanizations, products and sheaves of structures
Jamshid Derakhshan
(University of Oxford)
Abstract
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.