Mathematical logic

Dir­ect­ors of the spe­cial­iz­a­tion

Tapani Hyttinen and Juliette Kennedy

Per­sons re­spons­ible for dis­cuss­ing the study plans

Åsa Hirvonen and Juha Kontinen

Model study plans

Ex­ample 1

Year 1, autumn

• Topology II, 10 cr

• advanced logic course: Recursion theory/Finite model theory, 10 cr

• Other courses, 10 cr (e.g. Complexity theory, Dependence logic, Large cardinals, Real analysis I)

Year 1, spring

• Algebra II, 10 cr

• advanced logic course: Axiomatic set theory/Model theory, 10 cr

• Mathematical logic, 10 cr

Year 2, autumn

• starting pro gradu work and seminar

• Other courses, 15 cr (e.g. Complexity theory, Dependence logic, Large cardinals, Real analysis I, Finite model theory)

Year 2, spring

• Finishing gradu + seminar, 35 cr

• Other courses, 10 cr (e.g. Axiomatic set theory, Model theory)