坪井 明人

J-GLOBALへ         更新日: 18/10/05 03:08
 
アバター
研究者氏名
坪井 明人
 
ツボイ アキト
所属
筑波大学
部署
数理物質系
職名
教授

研究分野

 
 

学歴

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

講演・口頭発表等

 
A proof of Hales-Jewett theorem using a nonstandard method [招待有り]
坪井,明人
Combinatorics and Model Theory Seminar   2018年1月15日   
We prove Hales-Jewett theorem using a nonstandard method. The main ideas are already in [1] and [2], but the use of a nonstandard
model simplifies and clarifies the argument.
1 Pierre Matet, Shelah’s proof of the Hales-Jewett thorem revisited, Eur...
On the notion of stability
坪井,明人
モデル理論夏の学校 2017   2017年9月20日   
Graphs and automorphism groups
坪井,明人
日本数学会秋季総合分科会   2017年9月13日   
Graphs and automorphism groups

K. Eda raised a question concerning a graph structure and its automorphism groups. We don’t know the exact answer to this question. But we give an affirmative answer to it under an additional model theoretic assumpt...
On the number of independent orders
Tsuboi,Akito
2016 RIMS Model Theory Workshop   2016年12月12日   
モデル理論入門
Tsuboi,Akito
基礎論サマースクール2016   2016年9月5日   

所属学協会

 
 

競争的資金等の研究課題

 
モデル理論