Organizers

prof. dr hab. Witold Marciszewski
prof. dr hab. Piotr Zakrzewski

Information

Wednesdays, 4:15 p.m. , room: 5050

Research fields

Topology and Set Theory

List of talks

Nov. 27, 2013, 4:15 p.m.
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 …
Nov. 20, 2013, 4:15 p.m.
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.
Nov. 13, 2013, 4:15 p.m.
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 …
Nov. 6, 2013, 4:15 p.m.
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 …
Oct. 15, 2013, 4:15 p.m.
Krzysztof Chris Ciesielski (Department of Mathematics, West Virginia University)
Separate continuity and its generalizations: history, recent progress, and open problems.
Oct. 9, 2013, 5 p.m.
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. …
Sept. 26, 2013, noon
Grzegorz Plebanek (Uniwersytet Wrocławski)
Porządki Tukeya w przestrzeniach Banacha
June 5, 2013, 4:15 p.m.
Piotr Zakrzewski (Uniwersytet Warszawski)
O pewnej charakteryzacji ideału kategorii
May 22, 2013, 4:15 p.m.
Wojciech Stadnicki (doktorant UWr)
Aksjomatyzacja modelu Mathiasa w terminach gier
May 15, 2013, 4:15 p.m.
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 …
May 8, 2013, 4:15 p.m.
Witold Marciszewski (Uniwersytet Warszawski)
O porównywalnych topologiach w przestrzeniach unormowanych
April 24, 2013, 4:15 p.m.
Marcin Staniszewski (doktorant UG)
Zbieżność ideałowa ,,equal'', na podstawie pracy wspólnej z dr. R. Filipowem
April 10, 2013, 4:15 p.m.
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 …
April 3, 2013, 4:15 p.m.
Marcin Sabok (IMPAN)
Ergodyczność i kanonizacja - kontynuacja.
March 27, 2013, 4:15 p.m.
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$. …