Weekly research seminar
Organizers
- prof. dr hab. Witold Marciszewski
- prof. dr hab. Piotr Zakrzewski
Information
Wednesdays, 4:15 p.m. , room: 5050Research fields
List of talks
-
April 2, 2014, 4:15 p.m.
Maciej Malicki (SGH)
Automorphism groups of homogeneous metric structures and consequences of the existence of ample generics
-
March 26, 2014, 4:15 p.m.
Michal Doucha (IMPAN)
Some universal Polish groups and group structures on the Urysohn space - kontynuacja
-
March 19, 2014, 4:15 p.m.
Michal Doucha (IMPAN)
Some universal Polish groups and group structures on the Urysohn space
I will present a construction of a metrically universal abelian separable metric group, i.e., every other separable abelian metric group embeds by an isometric monomorphism. This answers the question and extends the results of Shkarin …
-
March 12, 2014, 4:15 p.m.
Witold Marciszewski (Uniwersytet Warszawski)
Pewne techniki kombinatoryczne w badaniach operatorów przedlużania
-
March 5, 2014, 4:15 p.m.
Roman Pol (Uniwersytet Warszawski)
O rodzinach funkcji półciągłych dolnie na liczbach niewymiernych.
Przestrzeń topologiczna E ma przeliczalną ciasność, jeśli z warunku, że x jest w domknięciu A w przestrzeni E wynika, że x jest w domknięciu pewnego podzbioru przeliczalnego A; N - zbiór liczb naturalnych. Dla przestrzeni …
-
Feb. 19, 2014, 4:15 p.m.
Wojciech Bielas (doktorant UŚ)
Przykład sztywnej przestrzeni superuniwersalnej
Mówimy, że przestrzeń metryczna X jest κ-superuniwersalna, gdy dlakażdej przestrzeni metrycznej Y mocy mniejszej niż κ każde zanurzenie izometryczne dowolnego podzbioru Y w X ma przedłużenie do zanurzenia izometrycznego całej przestrzeni Y w X. Kubiś …
-
Jan. 22, 2014, 4:15 p.m.
Sławomir Szczepaniak (doktorant IMPAN)
O prawieciągłości funkcji baireowsko-mierzalnych na przestrzeniach niemetryzowalnych
W pierwszej części przedstawione zostanie uogólnienie znanego wyniku Louveau-Simpsona o przestrzeni Ellentucka. Rezultat ten zostanie powiązany z zagadnieniem prawieciągłości funkcji baireowsko-mierzalnych zadanych na podprzestrzeniach przestrzeni Ellentucka oraz umieszczony w kontekście analogicznych wyników. W drugiej części …
-
-
Dec. 18, 2013, 4:15 p.m.
Rafał Filipów (Uniwersytet Gdański)
N)/I dla pewnych ideałów borelowskich (O pewnych współczynnikach kardynalnych w ilorazowych algebrach Boole'a P)
Chciałbym omówić szacowanie liczb s (splitting number) i r (reaping number) w ilorazowych algebrach Boole'a, gdzie I jest ideałem typu F-sigma lub analitycznym P-ideałem. Szacowania będą w ZFC i przy założeniu aksjomatu Martina. Wartość liczby …
-
Dec. 11, 2013, 4:15 p.m.
Henryk Michalewski (Uniwersytet Warszawski)
Nierozstrzygalność logiki MSO+U - kontynuacja
-
Dec. 4, 2013, 4:15 p.m.
Henryk Michalewski (Uniwersytet Warszawski)
Nierozstrzygalność logiki MSO+U - kontynuacja
-
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 …