Forcing iterowany 1000-1M25FI
Wykład będzie kontynuacją aktualnie prowadzonego wykładu monograficznego "Forcing" i skierowany jest do studentów, którzy znają już podstawy tej techniki.
Opis wykładu
1. Forcing produktowy ze skończonymi nośnikami, przykłady zastosowań.
2. Forcing iterowany dwustopniowy.
3. Forcing iterowany ze skończonymi nośnikami. Niesprzeczność aksjomatu Martina i negacji hipotezy continuum z ZFC.
4. Forcing iterowany z przeliczalnymi nośnikami. Forcing spełniający aksjomat A i jego własności.
5. Iterowany forcing Lavera: niesprzeczność hipotezy Borela z ZFC, Q-punkty i Q-zbiory w modelu Lavera.
6. Iterowany forcing Sacksa: współczynniki kardynalne w modelu Sacksa.
7. Frocing właściwy, twierdzenie o iterowaniu forcingu właściwego.
Rodzaj przedmiotu
Tryb prowadzenia
Założenia (opisowo)
Koordynatorzy przedmiotu
Literatura
Literatura
[1] U. Abraham, Proper Forcing in: Foreman, M., Kanamori, A. (eds) Handbook of Set Theory. Springer, Dordrecht (2010).
[2] J. Baumgartner, Iterated forcing in: Mathias ARD, ed. Surveys in Set Theory. London Mathematical Society Lecture Note Series. Cambridge University Press; 1-59 (1983).
[3] L. Halbeisen, Combinatorial Set Theory: With a Gentle Introduction to Forcing, Springer (2011).
[4] K. Kunen, Set Theory: An Introduction to Independence Proofs, Elsevier (1980).
[5] T. Bartoszyński, H. Judah, Set Theory: On the structure of the real line, A. K. Peters (1995).
Więcej informacji
Więcej informacji o poziomie przedmiotu, roku studiów (i/lub semestrze) w którym się odbywa, o rodzaju i liczbie godzin zajęć - szukaj w planach studiów odpowiednich programów. Ten przedmiot jest związany z programami:
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: