[logic-ml] Set Theory Seminar Kobe