By graduating in the Master program, the student obtains an academic degree of Master (MA, Mgr) in Logic at Charles University, Faculty of Arts. The student must already have the Bachelor degree (Bc) to be admitted to the Master program. The program is composed of advanced courses in mathematical logic (classical and non-classical), set theory, and analytic philosophy, and lasts for two years.

The program is free of charge in its Czech version. The administration affairs in the Czech version are in the Czech language, but the courses are taught in English (communication with teachers is also in English). Experience shows that a committed foreign student can study in the Czech version of the program. For more info for international students see this web page. The admission process for the year 2017-2018 has the following basic steps:

- Applications are due by March 31, 2017. See this web page (in Czech) with a link to the electronical application.
- In June 2017, there are entrance exams which have the form of an oral discussion. The topics include Mathematical Logic, Set Theory, and Analytic Philosophy in the extent of a Bachelor degree for a mathematically oriented program at a university.
- The results of the exams will be announced by July 2017.
- The program starts on October 1, 2017.

If you are interested, contact Marta Bilkova (marta.bilkova at ff.cuni.cz) who will provide more information.

***

**Recommended literature and requirements for entrance exams**

**Logic**

Properties of axiomatic theories: consistency, completeness, decidability. \aleph_0-categoricity and Vaught's test. The method of quantifier elimination. The compactness theorem and axiomatizable (i.e. elementary) classes. Incompleteness theorems and aspects of their proofs: self-reference, recursively enumerable sets and Post's theorem, Löb's derivability conditions. Calculi and Kripke semantics for intuitionistic propositional logic.

- P. Hájek and P. Pudlák.
*Metamathematics of First Order Arithmetic*. Springer, 1993. - M. O. Rabin.
*Decidable Theories.*Chapter C.3 in J. Barwise, editor,*Handbook of Mathematical Logic*, North-Holland, 1973. - G. S. Boolos, J. P. Burgess, and R. C. Jeffrey.
*Computability and Logic*. Cambridge University Press, 2007.

**Set Theory**

Topics covered by the following sections of the relevant books:

- Kunen, Keneth.
*Set theory: An introduction to independence proofs*. Elsevier 2004. Chapters I to IV. - Jech, Thomas.
*Set theory*. Springer 2003. Part I: Sections 1 to 7.