Seminar

Last modified by Ulla Karhumäki on 2025/01/14 17:17

Logic Seminar

The Logic seminar is held on Wednesdays, usually at 12-14. During the spring 2025 we will have both on-site and online talks, and we try to keep the page updated on when we have which kind.

The permanent Zoom room for the seminar is: https://helsinki.zoom.us/j/62891400777?pwd=UldCeThTaTJVQjUzUFo4S2ErcndNQT09 (Meeting ID: 628 9140 0777, Passcode: 164195)

PLEASE NOTE: Due to the prevalence of zoom talks given by scholars based in various time zones, the times that the seminar meets will occasionally change from the usual 12-14 slot. Also, if not separately specified, the talks always start at a quarter past.

The seminar is led by prof. Juha Kontinen and Ulla Karhumäki.

Schedule of the spring term 2025

Wed 15.01.2025 12 -14, C124

No seminar

Wed 22.01.2025 12 -14, C124

Jouko Väänänen: The extended logic paradigm in inner model theory

Abstract: I consider inner models arising from extended logics, as in my joint paper with Kennedy and Magidor and in my previous talk 9.10.2024. I introduce a new inner model of this kind, denoted C2(omega), based on the second order logic in which second order variables

range over countable subsets of the domain. I give some results about large cardinals in C2(omega) and also about its relationship with C(aa). I also discuss the inner model HOD1 arising from existential second order logic. This is joint work with Menachem Magidor.

Wed 29.01.2025 12 -14, C124

Reijo Jaakkola: TBA

Wed 05.02.2025 12 -14, C124

TBA

Wed 12.02.2025 12 -14, C124

Sandra Mueller: TBA

Wed 19.02.2025 12 -14, C124

Ulla Karhumäki: TBA

Wed 26.02.2025 12 -14, C124

Andres Villaveces: TBA

Wed 05.03.2025, Exam week (no seminar)

Wed 12.03.2025 12 -14, C124

Nadja Hempel: TBA

Wed 19.03.2025 12 -14, C124

Melissa Antonelli: TBA

Wed 26.03.2025 12 -14, C124

Rosario Mennuni: TBA

Wed 02.04.2025 12 -14, C124

TBA

Wed 09.04.2025, 12-14, C124

TBA

Wed 16.04.2025, 12-14, C124

TBA

Wed 23.04.2025, Easter break (no seminar)

Wed 30.04.2025 12 -14, C124

TBA

Talks of the fall term 2023

Talks of the spring term 2023

Talks of the fall term 2022

Talks of the spring term 2022

Talks of the fall term 2021

Talks of the spring term 2021

Talks of the fall term 2020

Talks of the spring term 2020

Talks of the fall term 2019

Talks of the spring term 2019

Talks of the fall term 2018Seminar talks fall 2018

Talks of the spring term 2018Seminar talks spring 2018

Talks of the fall term 2017Seminar talks fall 2017

Talks of the spring term 2017Seminar talks spring 2017

Talks of the fall term 2016Seminar talks fall 2016

Talks of the spring term 2016Seminar talks spring 2016

Talks of the fall term 2015Seminar talks fall 2015

Talks of the spring term 2015Seminar talks spring 2015

Talks of the fall term 2014Seminar talks fall 2014

Talks of the spring term 2014Seminar talks spring 2014

Talks of the fall term 2013Seminar talks fall 2013

Talks of the spring term 2013Seminar talks spring 2013

Talks of the fall term 2012Seminar talks fall 2012

Older talks (2011-2012)

Laboratory of dependence logic