Logic II

Education facts

Code: MM7022

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, categoricality, 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.

Entry requirements

For admission to the course, knowledge corresponding to 60 hp in mathematics is required. Moreover the course Mathematics III - Logic, 7.5 ECTS (MM5024) or the two courses Metalogic: Completeness, 7.5 ECTS (FILOG3) and Metalogic: Incompleteness and undecidability, 7.5 ECTS (FILOG4), or equivalent. Also required is knowledge equivalent to Swedish upper secondary school course English 6.

Education offerings

Each offering has its own dates and conditions. Closed offerings are retained as history and do not mean that a new application is open.

• Logic II

  Stockholm University

  Start date: 1 September 2025

  End date: 2 November 2025

  Pace of study: 50 %