Nie jesteś zalogowany |
Cotygodniowe seminarium badawcze
Organizatorzy
- prof. dr hab. Witold Marciszewski
- prof. dr hab. Piotr Zakrzewski
Informacje
środy, 16:15 , sala: 5050Dziedziny badań
Lista referatów
-
27 listopada 2013 16:15
Henryk Michalewski (Uniwersytet Warszawski)
Nierozstrzygalność logiki MSO+U; wspólne wyniki z M. Bojańczykiem, T. Gogaczem i M. Skrzypczakiem
Mówimy, że logika L nad modelem M jest rozstrzygalna, jeśli istnieje algorytm, który dla każdego otrzymanego na wejściu zdania phi logiki L odpowiada TAK, jeśli phi zachodzi w modelu M i odpowiada NIE w przeciwnym …
-
20 listopada 2013 16:15
Taras Banakh (Lviv National University i UJK Kielce)
Extremal density and submeasures on groups
We shall survey some recent results on extremal densities and submeasures on groups as well as applications of extremal densities to some Ramsey problems in Combinatorics of Groups.
-
13 listopada 2013 16:15
Przemysław Pawelec (doktorant UW)
Ultrafiltry silnie sumowalne
Podczas prac nad twierdzeniem o sumach skończonych Neil Hindman skonstruował, przy założeniu CH, pewne ultrafiltry na zbiorze liczb naturalnych, o których Eric van Douwen wykazał, że posiadają bazę złożoną ze zbiorów postaci $\FS X$ (gdzie …
-
6 listopada 2013 16:15
Matteo Mio (Centre for Mathematics and Computer Science, Amsterdam)
A determinacy theorem proved using Martin's Axiom at the first uncountable cardinal
Two players games of infinite duration (Gale-Stewart games) have come to play an important role in Computer Science. A game, typically played on a graph representing the state-to-state transitions of a program, is constructed in …
-
15 października 2013 16:15
Krzysztof Chris Ciesielski (Department of Mathematics, West Virginia University)
Separate continuity and its generalizations: history, recent progress, and open problems.
-
9 października 2013 17:00
Menachem Magidor (Uniwersytet Hebrajski w Jerozolimie)
Some remarks on reflection cardinals
A cardinal \kappa is said to be a reflection cardinal for a property of a mathematical structure if every structure (in the appropriate signature) has substructure of cardinality less than \kappa having the given property. …
-
26 września 2013 12:00
Grzegorz Plebanek (Uniwersytet Wrocławski)
Porządki Tukeya w przestrzeniach Banacha
-
5 czerwca 2013 16:15
Piotr Zakrzewski (Uniwersytet Warszawski)
O pewnej charakteryzacji ideału kategorii
-
22 maja 2013 16:15
Wojciech Stadnicki (doktorant UWr)
Aksjomatyzacja modelu Mathiasa w terminach gier
-
15 maja 2013 16:15
Luca Motto Ros (Uniwersytet we Fryburgu)
Wadge-like reducibilities on ultrametric Polish spaces
We analyze the reducibilities induced by, respectively, uniformly continuous, Lipschitz, and nonexpansive functions on arbitrary ultrametric Polish spaces, and give sufficient and necessary (topological) conditions on such spaces for the corresponding degree-structures being well-behaved. If …
-
8 maja 2013 16:15
Witold Marciszewski (Uniwersytet Warszawski)
O porównywalnych topologiach w przestrzeniach unormowanych
-
24 kwietnia 2013 16:15
Marcin Staniszewski (doktorant UG)
Zbieżność ideałowa ,,equal'', na podstawie pracy wspólnej z dr. R. Filipowem
-
10 kwietnia 2013 16:15
Roman Pol (Uniwersytet Warszawski)
O przeliczalnych zbiorach dyskretnych w iloczynach liczb naturalnych - wyniki wspolne z Elżbietą Pol
STRESZCZENIE: Podzbiór dyskretny A w przestrzeni topologicznej X jest C- ( C*- ) zanurzony w X, jeśli każda ( ograniczona ) funkcja z A w liczby rzeczywiste przedluża się w sposób ciągły na X. Keith …
-
-
27 marca 2013 16:15
Marcin Sabok (IMPAN)
Ergodyczność i kanonizacja
Postaram się naszkicować dowód miarowej wersji twierdzenia Kechrisa i Hjortha o ergodyczności relacji $E_2$. Dowolny borelowski homomorfizm z $E_2$ do relacji $F$ klasyfikowalnej przez przeliczalne struktury odwzorowuje zbiór miary pełnej w jedną klasę abstrakcji $F$. …
