Stockholm university logo, link to start page
Gå till denna sida på svenska webben

Logic II

Logic II is a second tier logic course, on the advanced level, which gives an introduction to modern mathematical logic. It includes Gödel incompleteness theorems, computability theory, model theory, nonstandard analysis, axiomatic set theory, ordinal and cardinal numbers, equivalents of the axiom of choice.

The course covers:

  • Fundamentals and set theory: The Zermelo-Fraenkel axioms of set theory, elementary theory for cardinals and ordinals. Equivalent formulations of the axiom of choice and its applications in analysis and algebra.
  • Structures and models: Isomorphisms and embeddings, complete theories, elementary equivalence and elementary embedding, Löwenheim-Skolem’s theorems, categoricity, applications on algebraic theories and non-standard analysis.
  • Computability and incompleteness: Models of computation, classes of computable functions, decidable and irreversible problems, Gödel coding and Gödel’s incompleteness theorem.