|
|
Root number
|
101199 |
|
Semester
|
FS2024 |
|
Type of course
|
Lecture |
|
Allocation to subject
|
Mathematics |
|
Type of exam
|
not defined |
| Title |
Model Theory |
| Description |
Model theory treats the classification and construction of mathematical structures by considering sentences of first-order logic that are true or define certain sets in those structures. The goal of this course is to cover fundamental topics of model theory -- such as compactness, quantifier elimination, definable sets, Ehrenfeucht-Fraïssé games, ultraproducts, and omitting type constructions -- while focussing also on concrete applications in mathematics. Famous examples will include Tarski's proof of the decidability of the theory of the reals using quantifier elimination and Robinson's proof of Hilbert's 17th problem using model completeness. Note that some familiarity with first-order logic will be assumed during the lectures. |
|
ILIAS-Link (Learning resource for course)
|
Registrations are transmitted from CTS to ILIAS (no admission in ILIAS possible).
ILIAS
|
|
Link to another web site
|
|
| Lecturers |
Prof. Dr.
George Metcalfe, Teaching Staff, Faculty of Science ✉
|
|
ECTS
|
6 |
|
Recognition as optional course possible
|
Yes |
|
Grading
|
1 to 6 |
| |
| Dates |
Wednesday 16:15-18:00 Weekly
|
|
Friday 15:15-17:00 Weekly
|
| |
| Rooms |
Hörraum B077, Exakte Wissenschaften, ExWi
|
| |
| Students please consult the detailed view for complete information on dates, rooms and planned podcasts. |
User:
Öffentlicher Bereich
Support