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.
µþ±ð³óö°ù¾±²µ³ó±ð³Ùer och urval
µþ±ð³óö°ù¾±²µ³ó±ð³Ù
För tillträde till kursen krävs
- godkänt resultat om minst 7,5 hp i Logisk teori (LOG111) eller Logic in Computer 91̽»¨ (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
