I list here all lecture notes and active works I produced during my M.Sc. Logic (UvA) ordering them by topics. For those notes / essays I wrote for courses I also write how many EC they counted and the semester & period in which I took them. Finally, here is the link to my Master Thesis, I make general considerations on my Masters in Master’s Outline,
Mathematics
Pure Logic
- Mathematical Proof Methods for Logic (Lecture), 6EC, 5th Semester
- Proof Theory (Lecture), 6EC, 5th Semester
- Rudiments in Set Theory (Lecture), 6EC, 6th Semester
- Model Theory bis (Lecture), 6EC, 6th Semester
- Type Theory (Lecture), 6EC, 6th Semester
- Recursion Theory (Lecture), 6EC, 6th Semester
Pure Mathematics
- Category Theory (Lecture), 8EC, 5th Semester
- Forcing (Research Project), 6EC, 5th Semester
- Closure Theory
- On Disjoint Union
Applied Logic
- Introduction to Modal Logic (Lecture), 6EC, 5th Semester
- Knowledge, Representation and Reasoning (Lecture), 6EC, 5th Semester
- Dynamic Epistemic Logic (Lecture), 6EC, 5th Semester
- Topology, Logic and Learning (Lecture), 6EC, 6th Semester
Philosophy
Philosophy of Language
- Meaning, Reference and Modality (Lecture), 6EC, 5th Semester
- Structures for Semantics (Lecture), 6EC, 6th Semester
Philosophy of Science
- Philosophy of Science (Lecture), 6EC, 5th Semester
- Structuralism & Categories (Research Project), 5th Semester
Philosophy of Mathematics & Logic
- Philosophy of Logic (Lecture), 6EC, 5th Semester
- Philosophy of Mathematics (Lecture), 6EC, 6th Semester