Nie jesteś zalogowany |
cotygodniowe seminarium badawcze
Organizatorzy
- dr hab. Leszek Kołodziejczyk, prof. ucz.
Informacje
środy, 12:10 , sala: 5450Strona domowa
https://www.mimuw.edu.pl/~lak/seminariumDziedziny badań
Lista referatów
-
21 stycznia 2026 12:10
Leszek Kołodziejczyk
The effect of the cohesive and stable Ramsey theorems on proof size over RCA*0 (cont'd)
-
14 stycznia 2026 12:10
Leszek Kołodziejczyk
The effect of the cohesive and stable Ramsey theorems on proof size over RCA*0 (cont'd)
-
7 stycznia 2026 12:10
Leszek Kołodziejczyk
The effect of the cohesive and stable Ramsey theorems on proof size over RCA*0
-
-
3 grudnia 2025 12:10
Konstantinos Papafilippou
Connecting three worlds: KFμ, Inductive definitions and KP (cont'd)
-
26 listopada 2025 12:10
Konstantinos Papafilippou
Connecting three worlds: KFμ, Inductive definitions and KP
-
19 listopada 2025 12:10
Mengzhou Sun
How cofinal extensions can change a model of arithmetic (cont'd)
-
12 listopada 2025 12:10
Mengzhou Sun
How cofinal extensions can change a model of arithmetic (cont'd)
-
-
-
22 października 2025 12:10
Dino Rossegger (Technical University of Vienna)
Analytic quasi-orders arising in model theory
-
15 października 2025 12:10
Leszek Kołodziejczyk
More conservativity for weak König's lemma (work of Freund and Uftring, cont'd)
-
8 października 2025 12:10
Leszek Kołodziejczyk
More conservativity for weak König's lemma (work of Freund and Uftring)
-
4 czerwca 2025 12:10
Piotr Szewczak (Cardinal Stefan Wyszyński University)
Abstract colorings, games and ultrafilters (cont'd)
-
28 maja 2025 12:10
Piotr Szewczak (Cardinal Stefan Wyszyński University)
Abstract colorings, games and ultrafilters
