Tsuboi Akito

J-GLOBAL         Last updated: Oct 17, 2019 at 02:41
 
Avatar
Name
Tsuboi Akito
Affiliation
University of Tsukuba
Section
Faculty of Pure and Applied Sciences
Job title
Professor

Research Areas

 
 

Education

 
 
 - 
1979
Faculty of Science, The University of Tokyo
 
 
 - 
1985
Graduate School, Division of Mathematics, University of Tsukuba
 

Published Papers

 
Non-expressibility of a class of finite graphs
Tsuboi,Akito
RIMS Kokyuroku      Jul 2019
Infinite Monochromatic Subgraphs (Model theoretic aspects of the notion of independence and dimension)
Tsuboi,Akito
RIMS Kokyuroku   2002 34-38   Jul 2016
Dividing and Forking --- A Proof of the Equivalence ---
Tsuboi,Akito
RIMS Kokyuroku   1888 23-27   Apr 2014
Kota, Takeuchi;Akito, Tsuboi
Annals of Pure and Applied Logic   163(12) 1891-1902   Dec 2012   [Refereed]
We investigated the notion of indiscernible trees, and applied obtained results to the study of unstable theories.
Kawakami, Tomohiro;Takeuchi, Kota;Tanaka, Hiroshi;Tsuboi, Akito
JOURNAL OF THE MATHEMATICAL SOCIETY OF JAPAN   64(3) 783-797   Jul 2012   [Refereed]

Books etc

 
集合入門 単行本 – 坪井 明人 (著), 塩谷 真弘 (著), 佐垣 大輔 (著)
坪井,明人
Mar 2019   ISBN:443425796X
モデルの理論
坪井明人
河合文化教育研究所 (1997/02)   Jan 1997   
ゲーデルと20世紀の論理学(ロジック)〈2〉完全性定理とモデル理論
坪井, 明人
Oct 2006   
数理論理学の基礎・基本
坪井明人
牧野書店   Mar 2012   

Conference Activities & Talks

 
A proof of Hales-Jewett theorem using a nonstandard method [Invited]
坪井,明人
Tegata L4 workshop   27 Mar 2018   
Tegata L4 Workshop at Akita University
March 27 – 29, 2018
Finite combinatorics and compactness [Invited]
Tsuboi,Akito
北陸先端科学技術大学院大学情報系セミナー   5 Sep 2018   
Since compactness cannot be applied to finite structures, model theory usually deals with infinite structures. However, if you are interested in an infinite class of finite structures, compactness remains very powerful for showing a certain kind o...
Compactness and finite structures
Tsuboi,Akito
RIMS Model Theory Workshop 2018   10 Dec 2018   
A proof of Hales-Jewett theorem using a nonstandard method [Invited]
坪井,明人
Combinatorics and Model Theory Seminar   15 Jan 2018   
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   20 Sep 2017   

Research Grants & Projects

 
Stability theory