6th Semester Courses Choice

In this page I give a rough projection of the courses I may take in the second semester. To have a better understanding of the structure of my M.Sc. Logic (UvA) one may also read 5th Semester and Assume I finish the MoL in one year, what then?. I give two different lists of courses for this semester, on is the list of courses I actually foresee to take for credits, given that the big amount of credits already achieved during my 5th Semester semester, allows me to take only those courses required for completing the mathematical track, and those are:

• Rudiments in Set Theory (Lecture) (1st period), which I may gave waved, since I followed Advanced Set Theory (Lecture)
• Model Theory bis (Lecture) (2nd period), which I may have waved, since I followed Model Theory (Lecture). On top of that, I will take some courses I am genuinely interested in; I also keep in mind that having more than 90EC in courses increases the average. The courses I am considering are those listed below, after the first week in class, I will decide which one to drop, considering that I will need time to write the thesis during these months.

1st Period

• Philosophy of Mathematics (Lecture) (6)
• Topics in Formal Epistemology (6)
• Seminar in Mathematical Logic (3)
• Mathematical Structures in Logic (6)
• Rudiments of Axiomatic Set Theory (6)

2nd Period

• Type Theory (6)
• Structure for Semantics (6)
• Model Theory (6)
• Seminar in Mathematical Logic ($\uparrow$)
• Rudiments of Axiomatic Set Theory ($\uparrow$)

6th Semester’s Periods (max. list)

Considering the list of the M.Sc. Logic (UvA) 5th-6th Sem. Courses list, I proceed as in 5th Semester’s Periods by giving a division of those courses I could take in the first and second period of the semester. So this list comprehends all courses I am interested in, following all of them within the second semester would already make me exceed the number of required EC. The full list of courses and EC can be found here: Sheets: M.Sc. Logic Courses Plan under ‘max. list’.

1st Period

1. Philosophy of Mathematics (6)
2. Topics in Formal Epistemology (6)
3. Seminar in Mathematical Logic (3)
4. Mathematical Structures in Logic (6)
5. Rudiments of Axiomatic Set Theory (6)
6. Topology Logic and Learning (6)
7. Semantics and Philosophy (6)

• Thesis Master of Logic (30)

2nd Period

1. Type Theory (6)
2. Structure for Semantics (6)
3. Recursion theory (6)
4. Model Theory (6)
5. Seminar in Mathematical Logic ($\uparrow$)
6. Rudiments of Axiomatic Set Theory ($\uparrow$)

• Thesis Master of Logic ($\uparrow$)

MasterMath:

• Homotopy Type Theory (Utrecht)
• Formal Methods in Mathematics (Utrecht)
• Topos Theory (Utrecht)