Language of Instruction:
The course will be taught in English, if needed
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:
Tuition fee, total:
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.