| 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 Amann-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 on Mondays from 4 to 6 pm in SR 318. The exercise sheets will be posted on this website on Thursday afternoon and must be handed in a week later by 2:30pm in the (yellow) mailbox 3.19 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.
The sheets have to be handed in till 2:30 pm at the indicated dates below.
| Sheet | Released on | To be handed in |
| Sheet 0 | 15.10.25 | not to be handed in |
| Sheet 1 | 16.10.25 | 23.10.25 |
The following literature is recommended:
