M4150 Set Theory

Faculty of Science
Autumn 2004
Extent and Intensity
2/0/0. 2 credit(s) (fasci plus compl plus > 4). Type of Completion: zk (examination).
Teacher(s)
doc. RNDr. Eduard Fuchs, CSc. (lecturer)
Guaranteed by
doc. RNDr. Eduard Fuchs, CSc.
Department of Mathematics and Statistics – Departments – Faculty of Science
Contact Person: doc. RNDr. Eduard Fuchs, CSc.
Timetable
Thu 8:00–9:50 N41
Prerequisites (in Czech)
M1555 Combinatorics && ! M4155 Set Theory && ( M1120 Fundamentals of Mathematics || M3501 Mathematical Analysis 3 )
Course Enrolment Limitations
The course is also offered to the students of the fields other than those the course is directly associated with.
fields of study / plans the course is directly associated with
Course objectives
First course of set theory.
Syllabus
  • Problems of infinity in mathematics. Origins of set theory and its impact on the 20th century mathematics. Construction of natural and real numbers in set theory. Cardinal and ordinal numbers: ordering and arithmetics of cardinal numbers, arithmetics of ordered sets, ordinal types and their arithmetics, well-ordering sets, ordinal numbers, transfinite induction. Axiom of choice and equivalent theorems.
Literature
  • FUCHS, Eduard. Teorie množin pro učitele. 1st ed. Brno: Masarykova univerzita, 1999. info
  • FUCHS, Eduard. Základy teorie množin. Vyd. 1. Praha: Státní pedagogické nakladatelství, 1986, 146 s. info
  • FUCHS, Eduard. Logika a teorie množin : (úvod do oboru). Vyd. 1. Brno: Rektorát UJEP, 1978, 175 s. info
  • TARSKI, Alfred. Úvod do logiky a metodologie deduktivních věd. Translated by Pavel Materna. Vyd. 1. Praha: Academia, 1966, 245 s. URL info
Language of instruction
Czech
Follow-Up Courses
Further Comments
The course is taught annually.
The course is also listed under the following terms Autumn 2007 - for the purpose of the accreditation, Spring 2011 - only for the accreditation, Spring 2000, Spring 2001, Spring 2002, Autumn 2002, Autumn 2003, Autumn 2005, Autumn 2006, Autumn 2007, Autumn 2008, Autumn 2009, Spring 2011, Spring 2012, spring 2012 - acreditation, Spring 2013, Spring 2014, Spring 2015, Spring 2016, Spring 2017, spring 2018, Spring 2019.
  • Enrolment Statistics (Autumn 2004, recent)
  • Permalink: https://is.muni.cz/course/sci/autumn2004/M4150