[logic-ml] Nagoya Set Theory Seminar