Model theory
University of Gothenburg
Start date:
End date:
Pace of study: 50 %
Published education catalogue
Model theory
Education information from the published source. The education record and its time-bound offerings are kept separate.
Education facts
Code: LOG211
<p>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.</p>
Entry requirements
<p></p>
Education offerings
Each offering has its own dates and conditions. Closed offerings are retained as history and do not mean that a new application is open.
Source and updates
Retrieved: .
Published: .
Show source version
Publication version: 8e217193-f5fa-4778-b085-a4521fd03e8d
Checksum: 1b0dc54c0fc8a359f83ba9dc8f9d468479ce432de4c03bce3b8b33dd67fe3f6c
Last changed according to the source: 2024-09-06T09:07:15