Course title  Logic and Set Theory 

Course code  MU/06104 
Organizational form of instruction  Lecture + Lesson 
Level of course  Master 
Year of study  not specified 
Semester  Summer 
Number of ECTS credits  6 
Language of instruction  Czech, English 
Status of course  Compulsory, Compulsoryoptional 
Form of instruction  Facetoface 
Work placements  This is not an internship 
Recommended optional programme components  None 
Course availability  The course is available to visiting students 
Lecturer(s) 


Course content 
 Logic (zero order logic, Post completeness theorem, first order logic, model theory, Goedel incompleteness theorem)  Axiomatic construction of set theory (Russel's paradox in naive set theory, language of set theory, basic axioms, infinity axiom and the axiom of choice)  Cardinal numbers (equivalence of sets, cardinal numbers, cardinal arithmetic, comparison of cardinals, CantorBernstein theorem, Cantor diagonal method, continuum hypothesis)  Ordinal numbers (wellordered sets, ordinal arithmetic, comparison of ordinals, Zermelo theorem and its consequences for cardinal numbers, alephs).

Learning activities and teaching methods 
unspecified 
Recommended literature 

Study plans that include the course 
Faculty  Study plan (Version)  Branch of study Category  Recommended year of study  Recommended semester 

Mathematical Institute in Opava  Mathematics (2014IVT)  Mathematics courses  3  Summer 
Mathematical Institute in Opava  Mathematics (2014F)  Mathematics courses  3  Summer 
Mathematical Institute in Opava  Mathematics (2F)  Mathematics courses  3  Summer 
Mathematical Institute in Opava  Mathematics (1IVT)  Mathematics courses  3  Summer 
Mathematical Institute in Opava  Mathematical Analysis (1IVT)  Mathematics courses  4  Summer 
Mathematical Institute in Opava  Mathematical Analysis (1)  Mathematics courses  1  Summer 