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
-
9 kwietnia 2025 12:10
Leszek Kołodziejczyk
An I-model that expands to a B-model (work of Chong and Yang, cont'd)
-
2 kwietnia 2025 12:10
Leszek Kołodziejczyk
An I-model that expands to a B-model (work of Chong and Yang)
-
-
19 marca 2025 12:10
Mateusz Łełyk
Some further remarks on the Scott ranks of fragments of PA (cont'd)
-
-
-
22 stycznia 2025 12:10
Patryk Szlufik
Scott complexity of countable structures (work of Alvir et al.)
-
-
18 grudnia 2024 12:10
Tomasz Steifer (IPPT PAN, Pontifical Catholic University of Chile)
Learning equivalence relations on Polish spaces (cont'd)
-
11 grudnia 2024 12:10
Tomasz Steifer (IPPT PAN, Pontifical Catholic University of Chile)
Learning equivalence relations on Polish spaces
-
4 grudnia 2024 12:10
Dariusz Kalociński (IPI PAN)
Learning families of algebraic structures (work of Bazhenov et al., cont'd)
-
27 listopada 2024 12:10
Dariusz Kalociński (IPI PAN)
Learning families of algebraic structures (work of Bazhenov et al.)
-
-
13 listopada 2024 12:10
Konstantinos Papafilippou (Ghent University)
A Universal tangle modality for the topological μ-calculus (cont'd)
-
6 listopada 2024 12:10
Konstantinos Papafilippou (Ghent University)
A Universal tangle modality for the topological μ-calculus
-
30 października 2024 12:10
Piotr Gruza
Separations between various categoricity-like notions for first-order theories (cont'd)
-
23 października 2024 12:10
Piotr Gruza
Separations between various categoricity-like notions for first-order theories
-
-
