Tag Archives: infinitary logic

Infinitary logic, large cardinals and AECs: some reflections (Montseny, Catalunya, 11/18)

Reflections on Set Theoretic Reflection – Montseny, Catalunya, nov. 2018.

Infinitary logic, large cardinals and AECs: some reflections.


The interaction between infinitary logic and the model theory of abstract elementary classes has had a serious imprint of large cardinals since the inception of AECs. Although later developments in AECs have emphasized a more purely model theoretic treatment, capturing independence-like relations, there are various fundamental questions on the relation between various logics and AECs — and, in some of these, large cardinals are central.
I will discuss some work by Boney on these connections, as well as some recent joint work by Väänänen and myself.

Logics underlying Abstract Elementary Classes (Warsaw, 4/18)

Abstract: I will first describe Abstract Elementary Classes as a global generalization of Infinitary Logic. I will emphasize constructions such as Galois types, the Representation Theorem and various open problems. In the second half, I will focus on some recent research on logics underlying AECs – with special emphasis on Shelah’s L^1_\kappa logic (satisfying Interpolation and weak remnants of compactness) and the role it plays in controlling Abstract Elementary Classes. This second part contains recent results of research and several open questions.
Logic Seminar, University of Warsaw.