坪井 明人

J-GLOBALへ         更新日: 17/12/06 02:54
 
アバター
研究者氏名
坪井 明人
所属
筑波大学
部署
数理物質系
職名
教授
学位
理学博士

研究分野

 
 

学歴

 
 
 - 
1979年
東京大学 理学部 数学
 
 
 - 
1985年
筑波大学 数学研究科 数学
 

論文

 
Infinite Monochromatic Subgraphs (Model theoretic aspects of the notion of independence and dimension : RIMS研究集会報告集)
坪井, 明人
数理解析研究所講究録   2002 34-38   2016年7月
Dividing and Forking --- A Proof of the Equivalence ---
Tsuboi,Akito
京都大学 数理解析研究所 講究録 1888   1888 23-27   2014年4月
Kota, Takeuchi;Akito, Tsuboi
Annals of Pure and Applied Logic   163(12) 1891-1902   2012年12月   [査読有り]
We introduce several concepts concerning the indiscernibility of trees. A tree is by definition an ordered set (O. <) such that, for any a is an element of O, the initial segment {b is an element of O: b < a} determined by a is a linearly ordered ...
Kawakami, Tomohiro;Takeuchi, Kota;Tanaka, Hiroshi;Tsuboi, Akito
JOURNAL OF THE MATHEMATICAL SOCIETY OF JAPAN   64(3) 783-797   2012年7月   [査読有り]
Trees and Branching Axioms (Model Theory of Fields and its Applications)
坪井, 明人
数理解析研究所講究録   1794(0) 50-54   2012年5月

書籍等出版物

 
モデルの理論
坪井明人
河合文化教育研究所 (1997/02)   1997年1月   
ゲーデルと20世紀の論理学(ロジック)〈2〉完全性定理とモデル理論
坪井, 明人
2006年10月   
数理論理学の基礎・基本
坪井明人
牧野書店   2012年3月   

講演・口頭発表等

 
On the number of independent orders
Tsuboi,Akito
2016 RIMS Model Theory Workshop   2016年12月12日   
モデル理論入門
Tsuboi,Akito
基礎論サマースクール2016   2016年9月5日   
Infinite Monochromatic Subgraphs
Tsuboi,Akito
RIMS Model Theory Workshop   2015年12月15日   
The number of independent strict orders
Tsuboi,Akito
2017 鹿児島モデル理論研究集会   2017年3月9日   
On the number of independent strict orders
Tsuboi,Akito
日本数学会年会   2017年3月24日   

所属学協会

 
 

競争的資金等の研究課題

 
モデル理論