This offering is not in the current catalogue. The information is retained from an earlier publication. Check the provider's current offering.
University of Gothenburg
Model theory
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-…
- Higher education
- Information unavailable
- 30 March 2027
- GÖTEBORG
- Information unavailable
- 50 %
Overview
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.
Admission scores
Entry requirements
For admission to the course the following are required - at least 7.5 credits of Logical theory (LOG111) or Logic in Computer Science (DAT060 or DIT201), and of, - Set theory (LOG121), or the equivalent thereof. In addition, language proficiency equivalent to English 6 is required.
The text is reproduced from the Susa source. Antagningsdata does not map GY11 and GY25 or assess personal eligibility.
Source, measure and data quality
- Source
- Skolverket Susa-navet
- Period
- 2027-03-30
- Measure
- Entry-requirement text reproduced from the published Susa data; no personal eligibility assessment is made.
- Population
- Education offering e.uoh.gu.log211.24097.20271
- Last checked
- 2026-09-23T10:36:59.285029+00:00
- Limitation
- Antagningsdata does not map GY11 and GY25. General and specific conditions are not separated without structured source data.
Programme content
Study structure
Application and important dates
- Programme or course starts
- Programme or course ends
Salary and salary distribution
Common occupations after graduation
Students
Geographical background
Previous upper-secondary schools and programmes
Completion and outcomes
About the provider
Sources and data quality
Education facts for the selected offering come from Skolverket Susa-navet.
Retrieved . Published . Times are shown in Swedish local time.
Source identity and publication version
- Publication version
- 8e217193-f5fa-4778-b085-a4521fd03e8d
- Education identity in the source
- i.uoh.gu.log211.24097.20271
- Offering identity in the source
- e.uoh.gu.log211.24097.20271
- Education-form source code
- HS
- Education code in the source
- LOG211
- Change time according to the source
- 2026-08-20T06:33:00
The provider, education and education offering are separate identities. Application information should be checked on the official website. Supplementary statistics have not been obtained from this source.