| Zeit und Ort | Di & Do 12-14 Uhr, SR 404 (Ernst-Zermelo-Str. 1) |
| Dozent: | Prof. Dr. Amador Martin-Pizarro |
| Sprechstunde Dozent: | n. V. |
| Assistenz: | Charlotte Bartnick |
| Sprechstunde Assistentin: | n.V., Raum 305 |
| E-Mail Anfragen: | charlotte[punkt]bartnick[at]math[punkt]uni-freiburg[punkt]de |
The lectures and the problem session will be held in English. The problem sheet can be handed in either in English or in German.
The problem session will take place once a week (the day and time will be fixed during the first lecture). The exercise sheets will be posted on this website on TBA and must be handed in a week later by TBA in the designated mailbox in the basement of the Mathematical Institute (Ernst-Zermelo-Str. 1).
Please refer to the Modulhandbuch for the conditions on the Studien- and Prüfungsleistung.
For the Studienleistung it will be sufficient to obtain at least 50% of the points available from the exercise sheets
In this course the basics of geometric model theory will be discussed and concepts such as quantifier elimination and categoricity will be introduced. A theory has quantifier elimination if every formula is equivalent to a quantifier-free formula. For the theory of algebraically closed fields of fixed characteristic, this is equivalent to requiring that the projection of a Zariski-constructible set is again Zariski-constructible. A theory is called $\aleph_1$-categorical if all the models of cardinality $\aleph_1$ are isomorphic. A typical example is the theory of non-trivial $\mathbb{Q}$-vector spaces. The goal of the course is to understand the theorems of Baldwin-Lachlan and of Morley to characterize $\aleph_1$-categorical theories.
Here's a short german summary of the content from a previous year.
| Sheet | Released on | To be handed in |
The following literature is recommended:
