Around Shelah’s logic L-one-kappa. Bogotá, 3/19

In the Logic Seminar at Universidad de los Andes, I will speak tomorrow (5/3/19) about the logic L^1_\kappa. More details here.

Resumen:

Hace unos años Shelah definió una nueva lógica infinitaria llamada L^1_\kappa. Damos una formulación alternativa de esta lógica (debida a Väänänen y yo, llamada L^c_\kappa) y demostramos que es equivalente a la original módulo el operador \Delta; nuestra formulación tiene algunas ventajas al compararse con la versión de Shelah. En particular, esta última no tiene una sintaxis claramente definida, mientras que la nuestra tiene cierto tipo de sintaxis. Si queda tiempo menciono una conexión reciente con lógicas para clases no elementales.

Estos resultados son en colaboración con Jouko Väänänen y Boban Velickovic.