Digital Teaching
[b]If you wish to participate in the seminar, please come to the first meeting on Tuesday 12 April 2022 at 16:15 in room S215/201. There we will discuss both organisation and content.[/b]
If there are no objections, the seminar will regularly take place on Tuesdays at 16:15. I currently assume that the seminar will take place in person. If you cannot participate in the first meeting or wish to participate remotely, then please write me an email beforehand (freund@mathematik.tu-darmstadt.de).
Lehrinhalte
We study topics from combinatorics, in particular from the perspective of mathematical logic. The focus will be on the concept of better quasi order due to Nash-Williams.
Literature
Our starting point is the following paper:
Alberto Marcone, "On the logical strength of Nash-Williams' theorem on transfinite sequences",
in: "Logic: from Foundations to Applications" (W. Hodges, M.Hyland, C.Steinhorn, J.Truss, eds), Clarendon Press, 1996, pp.327-351. Available as https://arxiv.org/abs/math/9408204
Further literature will be chosen collectively in the seminar.
Voraussetzungen
Some prerequisites from logic will be helpful, e.g., from the course "Introduction to Mathematical Logic". However, there will also be topics that can be studied without prior knowledge. If you are uncertain whether the seminar is suitable for you, please do not hesitate to contact the lecturer before or at the start of term.
Online-Angebote
Please also register for the seminar on moodle. Some information may only be published via the moodle page. So please keep an eye on moodle and register for email notifications there.
[b]If you wish to participate in the seminar, please come to the first meeting on Tuesday 12 April 2022 at 16:15 in room S215/201. There we will discuss both organisation and content.[/b]
If there are no objections, the seminar will regularly take place on Tuesdays at 16:15. I currently assume that the seminar will take place in person. If you cannot participate in the first meeting or wish to participate remotely, then please write me an email beforehand (freund@mathematik.tu-darmstadt.de).
Lehrinhalte
We study topics from combinatorics, in particular from the perspective of mathematical logic. The focus will be on the concept of better quasi order due to Nash-Williams.
Literature
Our starting point is the following paper:
Alberto Marcone, "On the logical strength of Nash-Williams' theorem on transfinite sequences",
in: "Logic: from Foundations to Applications" (W. Hodges, M.Hyland, C.Steinhorn, J.Truss, eds), Clarendon Press, 1996, pp.327-351. Available as https://arxiv.org/abs/math/9408204
Further literature will be chosen collectively in the seminar.
Voraussetzungen
Some prerequisites from logic will be helpful, e.g., from the course "Introduction to Mathematical Logic". However, there will also be topics that can be studied without prior knowledge. If you are uncertain whether the seminar is suitable for you, please do not hesitate to contact the lecturer before or at the start of term.
Online-Angebote
Please also register for the seminar on moodle. Some information may only be published via the moodle page. So please keep an eye on moodle and register for email notifications there.
Semester: Verão 2022