坪井 明人

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

研究分野

 
 

学歴

 
 
 - 
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月   

所属学協会

 
 

競争的資金等の研究課題

 
モデル理論