2020年12月7日 A remark on weak elimination of imaginaries 2020 RIMS Model Theory Workshop 米田郁生 記述言語 英語 会議種別 口頭発表(一般)