Tag Archives: aecs

On Some New Infinitary Logics . . . and (their) Model Theory SLALM – Concepción, Chile 12/19

Integral del silencio. Roberto Matta.

On Some New Infinitary Logics . . . and (their) Model Theory

(A lecture during the Latin American Symposium of Mathematical Logic, Concepción, Chile, December 2019.)

Abstract: The first logic (called L^1_\kappa for \kappa a singular strong limit cardinal) I will speak about was introduced by Saharon Shelah in 2012. The logic L^1_\kappa has many properties that make it very well adapted to model theory, despite being stronger thanL_{\kappa,\omega}. However, it also lacks a good syntactic definition.
With Väänänen, we introduced the second logic (called L^{1,c}_\kappa,) as a variant of L^1\kappa with a transparent syntax and many of the strong properties of Shelah’s logic. The third logic (called Chain Logic), while not new (it is due to Karp), has been revisited recently by Dzamonja and Väänänen) also in relation to Shelah’s L^1_\kappa and the Interpolation property.

I will provide a description of these three logics, with emphasis on their relevance to model theory.

Abstract Elementary Classes and their Galois groups: Interpretations Revisited. Budapest, 6/19

During the event Logic, Categories and Philosophy of Mathematics – In celebration of Michael Makkai’s 80th Birthday, I gave the lecture

Abstract Elementary Classes and their Galois groups: Interpretations Revisited.

Abstract: We study interpretations in Abstract Elementary Classes. We recast notions of interpretability and internality (following Hrushovski and Kamensky who based their work on earlier results due to Makkai and Reyes) and their version of a model theoretic Galois theory. We present results for AECs that satisfy a Small Index Property (enabling one to recover the biinterpretability class of theories) and on the Galois groups of those AECs. We stress the role of the Presentation Theorem and of a recent logic due to Shelah that enables us to define AECs.