Logic II
Stockholm University
Startdatum:
Slutdatum:
Studietakt: 50 %
Publicerad utbildningskatalog
Logic II
Utbildningsinformation från den publicerade källan. Utbildningen och dess tidsbundna tillfällen hålls åtskilda.
Utbildningsfakta
Kod: 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.
Behörighet
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.
Utbildningstillfällen
Varje tillfälle har egna datum och villkor. Avslutade tillfällen behålls som historik och innebär inte att en ny ansökan är öppen.
Källa och uppdatering
Hämtad: .
Publicerad: .
Visa källversion
Publiceringsversion: 8e217193-f5fa-4778-b085-a4521fd03e8d
Kontrollsumma: 1b0dc54c0fc8a359f83ba9dc8f9d468479ce432de4c03bce3b8b33dd67fe3f6c
Senast ändrad enligt källan: 2025-10-21T16:15:07