Model Theory - NMAG407
Title: Teorie modelů
Guaranteed by: Department of Algebra (32-KA)
Faculty: Faculty of Mathematics and Physics
Actual: from 2024
Semester: winter
E-Credits: 3
Hours per week, examination: winter s.:2/0, Ex [HT]
Capacity: unlimited
Min. number of students: unlimited
4EU+: no
Virtual mobility / capacity: no
State of the course: taught
Language: English, Czech
Teaching methods: full-time
Additional information: http://www.karlin.mff.cuni.cz/~krajicek/mt.html
Guarantor: prof. RNDr. Jan Krajíček, DrSc.
Teacher(s): prof. RNDr. Jan Krajíček, DrSc.
Class: M Mgr. MSTR
M Mgr. MSTR > Povinně volitelné
Classification: Mathematics > Algebra
Incompatibility : NLTM011
Interchangeability : NLTM011
Opinion survey results   Examination dates   WS schedule   Noticeboard   
Annotation -
The course covers main parts of model theory with an emphasis on examples and methods important for applications of model theory in algebra, geometry and number theory.
Last update: Žemlička Jan, doc. Mgr. et Mgr., Ph.D. (11.09.2013)
Aim of the course - Czech

Cílem je porozumět základním metodám teorie modelů a způsobům jejich aplikací v kontextu algebry, geometrie či teorie čísel.

Last update: Žemlička Jan, doc. Mgr. et Mgr., Ph.D. (05.09.2013)
Course completion requirements -

Students have to pass oral exam.

Last update: Žemlička Jan, doc. Mgr. et Mgr., Ph.D. (28.10.2019)
Literature -

D. Marker, Model Theory: An Introduction (Springer, 2002).

Last update: Žemlička Jan, doc. Mgr. et Mgr., Ph.D. (05.09.2013)
Requirements to the exam -

The exam has an oral form. After receiving an exam question, the student has plenty of time to prepare written notes which he/she subsequently reproduces to the examiner. The requirements correspond to the extent of the material presented during lectures.

Last update: Šaroch Jan, doc. Mgr., Ph.D. (12.10.2017)
Syllabus -

Basic concepts, methods and facts of model theory and examples of their applications in algebra, geometry and number theory.

Last update: Žemlička Jan, doc. Mgr. et Mgr., Ph.D. (06.09.2013)
Entry requirements -

Basic knowledge of matematical logic.

Last update: Žemlička Jan, doc. Mgr. et Mgr., Ph.D. (17.05.2019)