I will follow this course by Dr. Luca Incurvati at the ILLC for my M.Sc. Logic (UvA) during my 6th Semester, here is the Catalogue Link. I worked on the assignments and referee report in Overleaf: PhiMath Reports and I read Tait, W. W. (1981). Finitism and presented the last third of it in class in Overleaf: PhiMath Presentation. As final essay, I worked then on Applications and Limitations of Interpretations in Ontology