You are not logged in |
Weekly research seminar
Organizers
- dr hab. Leszek Kołodziejczyk, prof. ucz.
Information
Wednesdays, 12:10 p.m. , room: 5450Home page
https://www.mimuw.edu.pl/~lak/seminariumResearch fields
List of talks
-
April 15, 2026, 12:10 p.m.
Ali Enayat (University of Gothenburg)
Truth and global reflection in arithmetic and set theory
-
April 8, 2026, 12:10 p.m.
Patryk Szlufik
Finite combinatorics and fragments of arithmetic (work of Wei Wang)
-
-
-
-
-
Feb. 25, 2026, 12:10 p.m.
Leszek Kołodziejczyk
Conservativity over collection and the occasional inevitability of polynomial proof transformations
-
Jan. 21, 2026, 12:10 p.m.
Leszek Kołodziejczyk
The effect of the cohesive and stable Ramsey theorems on proof size over RCA*0 (cont'd)
-
Jan. 14, 2026, 12:10 p.m.
Leszek Kołodziejczyk
The effect of the cohesive and stable Ramsey theorems on proof size over RCA*0 (cont'd)
-
Jan. 7, 2026, 12:10 p.m.
Leszek Kołodziejczyk
The effect of the cohesive and stable Ramsey theorems on proof size over RCA*0
-
-
Dec. 3, 2025, 12:10 p.m.
Konstantinos Papafilippou
Connecting three worlds: KFμ, Inductive definitions and KP (cont'd)
-
Nov. 26, 2025, 12:10 p.m.
Konstantinos Papafilippou
Connecting three worlds: KFμ, Inductive definitions and KP
-
Nov. 19, 2025, 12:10 p.m.
Mengzhou Sun
How cofinal extensions can change a model of arithmetic (cont'd)
-
Nov. 12, 2025, 12:10 p.m.
Mengzhou Sun
How cofinal extensions can change a model of arithmetic (cont'd)
