Modellteori

Antagningspoäng hösten 2026

Ingen statistik. Den här utbildningen antar inte på meritvärde eller högskoleprov, så det finns ingen poänggräns.

Lägsta antagna i senaste antagningen (hösten 2026) enligt UHR. Ingen garanti för nästa antagning.

Om utbildningen

The course starts with detailed proofs of compactness and omitting types for first-order logic. Students is then introduced to a number of central methods, constructions and results with a focus on model completeness, automorphism groups and omega categoricity, ultraproducts, o-minimality, interpretability and back-and-forth equivalence. Quantifier elimination and zero-one laws serve as an introduction to applications of model theory to computer science. The course also deals with Morley's theorem and the basics of stability theory.

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.

Praktiskt

Start

31 augusti 2026

Slut

3 november 2026

Språk

Engelska

Studietakt

50 %

Studieform

På plats i Göteborg

Studieavgift

19 250 kr (gäller bara sökande utanför EU/EES)

Anmälningskod

GU-24150

Vanliga frågor

Vad krävs för att komma in på Modellteori vid Göteborgs universitet?

Utbildningen har ingen poänggräns (ingen statistik) – den antar inte på meritvärde eller högskoleprov. Du måste också uppfylla behörighetskraven.

Hur lång är utbildningen?

7,5 hp, studietakt 50 %.

Går den på distans?

Nej, den ges på plats i Göteborg.

Vad betyder BI och HP?

BI är betyg utan komplettering och HP är högskoleprovet. Läs guiden.

Överblick

• Alla program och kurser vid Göteborgs universitet
• Alla kurser i Matematik