Department of Mathematics

Mathematical Logic 2017/2018 (10 credits)

Autumn 2017 weeks 35-02 - 33% - Campus

Application Deadline: 2017-04-18

Enrolment Code: UU-10104 Application

Language of Instruction: The course will be taught in English, if needed

Location: Uppsala

Entry Requirements: 60 credits in mathematics including Algebra II, Discrete Mathematics or Set Theory.


If you are not a citizen of a European Union (EU) or European Economic Area (EEA) country, or Switzerland, you are required to pay application or tuition fees. Formal exchange students will be exempted from tuition fees, as well as the application fee. Read more about fees.

Application Fee: SEK 900

Tuition fee, first semester: SEK 21667

Tuition fee, total: SEK 21667

Please note: The course will be given if resources are available.

About the course:

Elementary recursion theory: primitive recursive functions and partial recursive functions, properties of recursive and recursively enumerable sets, the s-m-n theorem, the second recursion theorem and a little about the arithmetical hierarchy and relative computability.

Strength of first order theories. Models for theories, Tarski semantics, the completeness and compactness theorems. Gödel's incompleteness theorems.

Model theory: isomorphism, substructure, elementary equivalence and elementary substructure, the Löwenheim-Skolem theorems, Ehrenfeucht-Fraïssé games, model completeness, complete theories, algebraic applications, non-standard analysis.

More information


Department of Mathematics

Lägerhyddsvägen 1, Hus 1, 5 och 7

Box 480, 751 06 UPPSALA

Telephone: 018-471 3200

Fax: 018-471 3201

Study Counsellor

Telephone: +46 18 471 32 03