[logic-ml] Nagoya set theory seminar