Logic Seminar - Gal Binyamini

Date: 
Wed, 24/07/202411:15-13:00












https://huji.zoom.us/j/88579085258?pwd=c3lLgZgjnxKZAas6BAr8uAqdy47QaT.1

Title:  Complexity in o-minimality (and beyond?)

 
Abstract: 
Over the last couple of decades o-minimality has been increasingly used in arithmetic geometry and Hodge theory. For many of these applications it is desirable to be able to quantify the complexity of definable sets in order to obtain more accurate or effective forms of classical results. I'll talk about two axiomatic frameworks formalizing this idea, and how they apply in some of the applications. I'll end with some general questions about whether this has a meaningful extension beyond the o-minimal context.