Por Charles Morgan (UFBA).
Model theory classically has treated algebraic parts of mathematics well. However it took the rise of continuous model theory, in the last 20 years, for us to have similar tools which address more analytic aspects of mathematics. The striking success of this change of point of view forces one to consider whether analogy suggests would be fruitful for other parts of mathematics. Here I discuss presheaf model theory, that is, model theory in which the truth values are taken in a complete Heyting algebra. In this setup the models are presheaves or sheaves over the algebra. Examples of such structures abound in algebraic and analytic geometry, but also in subjects such as computational data analysis.
In this talk I focus on the pure side of the subject. I will try to give an overview of the current state of play in the area, including discussion of recent results on diverse topics ranging from analogues of venerable model theoretic themes, such as the method of diagrams and back-and-forth arguments, to more contemporary ones such as neostability theory.
Transmissão via Zoom (pw: 919 4789 5133).
