2016年12月12日 On the number of independent orders 2016 RIMS Model Theory Workshop Tsuboi,Akito 記述言語 英語 会議種別 口頭発表(一般)