Course: Set Theory

» List of faculties » PRF » KAG
Course title Set Theory
Course code KAG/TEMN
Organizational form of instruction Lecture + Lesson
Level of course Master
Year of study not specified
Semester Summer
Number of ECTS credits 5
Language of instruction Czech
Status of course Compulsory
Form of instruction Face-to-face
Work placements This is not an internship
Recommended optional programme components None
Lecturer(s)
  • Pócs Jozef, Mgr. Ph.D.
Course content
1. Axioms of Set Theory (Zermelo-Fraenkel axiomatic system, language of set theory, formulas, classes). 2. Ordinal Numbers (well-ordering, ordinal numbers, transfinite induction and recursion, ordinal arithmetic). 3. Cardinal Numbers (cardinality, alephs, cofinality). 4. The Axiom of Choice (the Axiom of Choice, equivalent forms of the Axiom of Choice, using the Axiom of Choice in mathematics). 5. Cardinal Arithmetic (basic operations, infinite sums and products, the continuum function, cardinal exponentiation). 6. The Axiom of Regularity (the cumulative hierarchy of sets, well-founded relations). 7. Selected Topics in Set Theory (large cardinals, combinatorial set theory).

Learning activities and teaching methods
Lecture, Monologic Lecture(Interpretation, Training)
Learning outcomes
The main goal is to become familiar with the basic notions and results in axiomatic set theory.
Students define the basic concepts of set theory, investigate their properties and relationships between them.
Prerequisites
Knowledge of basic mathematical logic and naive set theory is assumed.

Assessment methods and criteria
Mark, Oral exam

Credit: active knowledge demonstration. Exam: understanding of the subject, proofs of the main theorems.
Recommended literature
  • Balcar B., Štepánek P. (2005). Teorie množin. Academia Praha.
  • Bukovský L. (2005). Množiny a všeličo okolo nich. UPJŠ v Košiciach.
  • Jech T. (2003). Set Theory. Springer-Verlag Berlin Heidelberg.


Study plans that include the course
Faculty Study plan (Version) Category of Branch/Specialization Recommended year of study Recommended semester
Faculty: Faculty of Science Study plan (Version): Mathematics (2023) Category: Mathematics courses 1 Recommended year of study:1, Recommended semester: Summer