Conducted in
term:
2025L
ECTS credits:
6
Language:
Polish
Organized by:
Faculty of Mathematics, Informatics, and Mechanics
Related to study programmes:
Iterated forcing 1000-1M25FI
This course has not yet been described...
Type of course
elective monographs
Mode
Classroom
Prerequisites (description)
(in Polish) Wymagania wstępne:
Znajomość podstaw logiki I rzędu oraz teorii mnogości omawianych na wykładach fakultatywnych "Logika matematyczna" i "Teoria mnogości".
Znajomość topologii z zakresu przedmiotu "Topologia I" oraz podstaw forcingu (rozszerzenia generyczne, aksjomat Martina, niezależność hipotezy continuum od ZFC).
Course coordinators
Additional information
Information on level of this course, year of study and semester when the course unit is delivered, types and amount of class hours - can be found in course structure diagrams of apropriate study programmes. This course is related to the following study programmes:
Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system: