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
-
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)
-
-
-
Oct. 22, 2025, 12:10 p.m.
Dino Rossegger (Technical University of Vienna)
Analytic quasi-orders arising in model theory
-
Oct. 15, 2025, 12:10 p.m.
Leszek Kołodziejczyk
More conservativity for weak König's lemma (work of Freund and Uftring, cont'd)
-
Oct. 8, 2025, 12:10 p.m.
Leszek Kołodziejczyk
More conservativity for weak König's lemma (work of Freund and Uftring)
-
June 4, 2025, 12:10 p.m.
Piotr Szewczak (Cardinal Stefan Wyszyński University)
Abstract colorings, games and ultrafilters (cont'd)
-
May 28, 2025, 12:10 p.m.
Piotr Szewczak (Cardinal Stefan Wyszyński University)
Abstract colorings, games and ultrafilters
