竹内 耕太(タケウチ コウタ)
- 会議発表等
- Recent interactions between model theory and finite combinatorics
竹内 耕太
日本数学会(特別講演)/2017-09-11--2017-09-14 - On 2-order property
Takeuchi Kota
Asian Logic Conference/2017-07-10--2017-07-14 - Properties characterized by generalized indiscernible
Takeuchi Kota
RIMS workshop/2016-09-26--2016-09-29 - Atomless Probability Algebraの理論における量化子消去アルゴリズム
Takeuchi Kota; 小林宗弘; 依田大樹
RIMS workshop/2016-12-07--2016-12-09 - On the infinite Ramsey property for random graph
Takeuchi Kota
RIMS workshop/2016-12-12--2016-12-14 - A simple proof of Terry's result on hereditary L-property
Takeuchi Kota
Kagoshima Model Theory Workshop/2017-03-09--2017-03-11 - On the number of independent strict orders
Takeuchi Kota; 坪井明人
日本数学会/2017-03-24--2017-03-27
- Recent interactions between model theory and finite combinatorics