Organizers

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

Information

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

Research fields

Topology and Set Theory

List of talks

May 7, 2014, 4:15 p.m.
Damian Sobota (doktorant UWr)
Countable tightness in the space of regular probability measures
During my lecture I would like to focus on the following problem from the boundary of measure theory and set-theoretical topology. Let K be a compact Hausdorff space. Assume that the space P(K) of all …
April 23, 2014, 4:15 p.m.
Aleksander Błaszczyk (University of Silesia)
joint results with Wojciech Bielas (Topological Representation of lattice homomorphisms)
Wallman proved that if L is a distributive lattice with 0 and 1, then there is a T 1 -space with a base (for closed subsets) being a homomorphic image of L . We show …
April 9, 2014, 4:30 p.m.
Grzegorz Plebanek (University of Wroclaw)
Lattices of weakly compact sets in separable Banach spaces
We consider the lattice K(X) of weakly compact sets in a separable Banach space equipped with the relations of `almost inclusion'. The concept originated in the notion od Strongly Weakly Compactly Generated spaces. It turns …
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 …
Jan. 15, 2014, 4:15 p.m.
Adam Kwela (doktorant IMPAN)
O dwóch nowych ideałach typu F_\sigma
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 …