Lindström Lectures (Jouko Väänänen - 17 November)

[Andres Villaveces Nino]

Buenas tardes.

Mañana lunes festivo (en Colombia) Jouko Väänänen dará la primera de sus dos Lindström Lectures en la Universidad de Gotemburgo (Suecia). Aquí hay más información: https://logic-gu.se/lindstrom-lectures/the-lindstrom-lectures-2025/

La hora será 12:00 del mediodía en Colombia, 18:00 en Suecia.

Cada año en Gotemburgo escogen a una persona muy destacada en Lógica Matemática para dar las Lindström Lectures en homenaje a Per Lindström. Este año las dará Jouko Väänänen, de la Universidad de Helsinki.

Información relevante a enlace:

The Zoom link for the public lecture is:
- https://gu-se.zoom.us/j/68668786137?pwd=KhesmPZHouzxhu4NAMKhASkxS1kFf8.1
- Meeting ID: 686 6878 6137
- Passcode: 040617

Las anuncio aquí por dos razones:

• Por un lado, históricamente los teoremas de Lindström han estado relacionados con el desarrollo de la Lógica en Bogotá. Varios trabajos de Xavier Caicedo, desde sus inicios en Lógicas Abstractas, tienen que ver de manera profunda con enfoques y variantes de teoremas tipo Lindström (para distintas lógicas, con distintos métodos). Esto hace que cualquier tema de homenaje a Lindström esté relacionado de manera muy natural con la investigación en Lógica Matemática que hacemos en Bogotá, por razones tanto históricas como de investigaciones más recientes.
• Por otro lado, la segunda de las Lindström Lectures de Väänänen de este año versará sobre un tema que hemos trabajado junto con él y con Siiri Kivimäki, y que tiene que ver indirectamente con teoremas de Lindström. He aquí el abstract de la segunda Lindström Lecture:
  
  The combination of Löwenheim-Skolem Theorem and Compactness Theorem limits the expressive power of a logic to that of first order logic. This maximality principle is the famous Lindström Theorem for first order logic. It reveals that first order logic is at an optimal point of balance: by adding expressive power to it one necessarily loses model-theoretic properties. Soon after Lindström’s result, the question was raised, whether there are other logics at a similar point of equilibrium. More precisely: are there strict strengthenings of first order logic satisfying a Lindström-type characterization? Despite the naturality of this question, it remained unanswered, until recently.
  
  In 2012 Saharon Shelah offered a solution to this problem in the form of a new infinitary logic. It has a Lindström-type characterization in terms of model-theoretic properties combining weak forms of Compactness and a Löwenheim-Skolem type property. In all known cases, a proof of a Lindström-type characterization automatically gives a proof of Craig Interpolation. This is the case for Shelah’s logic, too. There is, however, one aspect where Shelah’s logic seems to be rather weak: the syntax. The logic is derived from a game, in the sense that a sentence is, by definition, a class of structures, closed under a certain Ehrenfeucht-Fraïssé type of a game. This results in the absence of a syntax defined in such a way that the set of all formulas could be obtained by closing the set of atomic formulas under negation, conjunction, quantifiers, and possibly other logical operations. The lack of syntax complicates further study of it and logics in its neighborhood. In the present talk, we address the general question of deriving a syntax from a game, and the more localized question of finding a syntax for Shelah’s logic. Partial answers are provided to both questions. This is joint work with Andres Villaveces and Siiri Kivimäki.
  
  

¡Un saludo cordial, y feliz festivo posiblemente con una conferencia en honor a Lindström!

av

Andrés Villaveces Niño
Director
Departamento de Matemáticas
Universidad Nacional de Colombia
111321 - Bogotá
+57 601 316-5207