Yurii Khomskii

Curriculum Vitae

Teaching

• Fall 2008
  • Capita Selecta: Set Theory, Model Theory (Master of Logic programme, Master of Mathematics programme). Together with Benedikt Löwe and Brian Semmes.
• Spring 2008
  • Axiomatic Set Theory (Master of Logic programme, Bachelors of Mathematics programme)
  • Intuitionistic Logic (Master of Logic programme)
• Fall 2007
  • Recursion Theory (Master of Logic programme)

Publications

• Yurii Khomskii, William of Sherwood, Singular Propositions and the Hexagon of Opposition, submitted for publication in the Proceedings of the First International Congress on the Square of Opposition.
• Yurii Khomskii, A General Setting for the Pointwise Investigation of Determinacy, Proceedings of the Third Indian Conference on Logic and Applications, (Eds.) R. Ramanujam and Sundar Sarukkai, Springer LNAI 5378, 2009, pp 187--197.

Talks

• "William of Sherwood, Singular Propositions and the Hexagon of Opposition", First International Congress on the Square of Opposition in Montreux, Switzerland, 1-3 June, 2007. Slides , Picture
• "Regularity Properties and Determinacy", GLLC 14.5, Amsterdam, 28 September 2007.
• "Regularity Properties and Determinacy", Set Theory meeting in Kobe, Japan, 19-21 March 2008. Slides , Picture
• "A General Setting for the Pointwise Investigation of Determinacy", Third Indian Conference on Logic and Applications in Chennai, India, 9-11 January 2009. Slides , Picture
• "Regularity Properties on the Second Level of the Projective Hierarchy", Seminar on Mathematical Logic, Sofia, Bulgaria, 13 July 2009.
• "Polarized Partition Properties for Δ¹₂ and Σ¹₂ sets", Logic Colloquium 2009, Sofia, Bulgaria, 31 July - 5 August 2009. Slides, Picture
• "Polarized Partition Properties on the Second Level of the Projective Hierarchy", RIMS Workshop on Set Theory, Kyoto, Japan, 16 - 19 November 2009 Slides, Picture

Organizational activities

• Amsterdam workshop in set theory, 26-27 May, 2009
• From 2009, co-organizer of the Logic Tea, University of Amsterdam

Other Things