Modellteori
Kort om kursen
Modellteori är den del av matematisk logik som studerar första ordningens strukturer utifrån deras relation med logiska språk. Den behandlar grundläggande frågor som uttryckskraften hos logiska språk i termer av möjligheten att klassificera strukturer, samt vilka typer av modeller som är möjliga att konstruera.
Om utbildningen
Kursen ger en grundlig introduktion till de centrala resultaten och metoderna inom modellteori och behandlar ämnen som definierbarhet, homomorfier, elementära extensioner, kompakthet och kategoricitet. Studenter får också möjlighet att specialisera sig inom ett väl avgränsat område inom modellteori eller en tillämpning av en modellteoretisk metod inom ett angränsande område. Fördjupningsämnet väljs i samråd med kursansvarig lärare och anpassas till studentens akademiska bakgrund och intressen.
Kursen ges på engelska. Besök vår internationella sida för mer information.
Behörigheter och urval
Behörighet
För tillträde till kursen krävs
- godkänt resultat om minst 7,5 hp i Logisk teori (LOG111) eller Logic in Computer Science (DAT060 eller DIT201),
- samt godkänt resultat på Mängdteori (LOG120),
eller motsvarande. Dessutom krävs språkkunskaper motsvarande Engelska 6.
Urval
Högskolepoäng, max 165 hp