SubjectsSubjects(version: 945)
Course, academic year 2023/2024
   Login via CAS
Seminar on Forcing - NLTM004
Title: Seminář z forsingu
Guaranteed by: Department of Theoretical Computer Science and Mathematical Logic (32-KTIML)
Faculty: Faculty of Mathematics and Physics
Actual: from 2016
Semester: summer
E-Credits: 3
Hours per week, examination: summer s.:0/2, C [HT]
Capacity: unlimited
Min. number of students: unlimited
4EU+: no
Virtual mobility / capacity: no
State of the course: cancelled
Language: Czech
Teaching methods: full-time
Teaching methods: full-time
Class: DS, algebra, teorie čísel a matematická logika
Mat. logika a teorie množin
Classification: Informatics > Theoretical Computer Science
Is incompatible with: NMAG576
Is interchangeable with: NMAG576
Annotation -
Last update: G_I (05.11.2001)
Seminar extending a lecture LTM003. It is focused on more advanced topics of set theory: infinite combinatorics, cardinal characteristics concerning real line, partial ordering and Boolean algebras, generic extensions of models of set theory, large cardinals.
Aim of the course - Czech
Last update: T_KTI (26.05.2008)

Sledovat vývoj oboru, referovat články z pokročilé teorie množin

Syllabus -
Last update: G_I (07.03.2005)

Seminar extending a lecture LTM003. It is focused on more advanced

topics of set theory: infinite combinatorics, cardinal characteristics

concerning real line, partial ordering and Boolean algebras, generic

extensions of models of set theory, large cardinals.

 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html