|
|
|
||
Last update: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (23.12.2023)
|
|
||
Last update: Mgr. et Mgr. Emil Jeřábek, Dr., Ph.D. (27.12.2023)
Oral exam. |
|
||
Last update: Mgr. et Mgr. Emil Jeřábek, Dr., Ph.D. (20.05.2024)
Wilfrid Hodges: Model Theory, Cambridge University Press, 1993.
Michael O. Rabin: Decidable theories, in: Handbook of Mathematical Logic (ed. Jon Barwise), 1977, §C.3, pp. 595–629.
Hans Läuchli, John Leonard: On the elementary theory of linear order, Fundamenta Mathematicae 59 (1966), no. 1, pp. 109–116. |
|
||
Last update: Mgr. et Mgr. Emil Jeřábek, Dr., Ph.D. (20.05.2024)
Oral exam to assess understanding of the main results presented during the course. Each student will present one of the following topic groups of their own choosing:
|
|
||
Last update: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (23.12.2023)
We will study basic methods for proving algorithmic decidability of first-order theories and main examples of decidable theories.
Tools:
Exhibits (depending on time constraints):
|
|
||
Last update: Mgr. et Mgr. Emil Jeřábek, Dr., Ph.D. (27.12.2023)
Basic knowledge of mathematical logic and model theory |