研究者
J-GLOBAL ID:200901025232558882
更新日: 2022年09月25日
坪井 明人
ツボイ アキト | Tsuboi Akito
所属機関・部署:
筑波大学 数理物質系
筑波大学 数理物質系 について
「筑波大学 数理物質系」ですべてを検索
機関情報を見る
職名:
教授
研究分野 (2件):
応用数学、統計数学
, 数学基礎
競争的資金等の研究課題 (1件):
モデル理論
論文 (64件):
坪井,明人. Non-expessibility of a class of finite graphs. RIMS Kokyuroku (数理解析研究所講究録). 2019. No.2119. 9-12
坪井, 明人. Infinite Monochromatic Subgraphs (Model theoretic aspects of the notion of independence and dimension : RIMS研究集会報告集). 数理解析研究所講究録. 2016. 2002. 34-38
Tsuboi,Akito. Dividing and Forking --- A Proof of the Equivalence ---. 京都大学 数理解析研究所 講究録 1888. 2014. 1888. 23-27
Kota Takeuchi, Akito Tsuboi. On the existence of indiscernible trees. ANNALS OF PURE AND APPLIED LOGIC. 2012. 163. 12. 1891-1902
Tomohiro Kawakami, Kota Takeuchi, Hiroshi Tanaka, Akito Tsuboi. Locally o-minimal structures. JOURNAL OF THE MATHEMATICAL SOCIETY OF JAPAN. 2012. 64. 3. 783-797
もっと見る
書籍 (4件):
集合入門 単行本 - 坪井 明人 (著), 塩谷 真弘 (著), 佐垣 大輔 (著)
牧野書店 2019 ISBN:443425796X
数理論理学の基礎・基本
牧野書店 2012
ゲーデルと20世紀の論理学(ロジック)〈2〉完全性定理とモデル理論
2006
モデルの理論
河合文化教育研究所 (1997/02) 1997
講演・口頭発表等 (13件):
On the number of independent strict orders
(2019 RIMS Model Theory Workshop 2019)
A remark on Ehrenfeucht theories
(日本数学会秋季総合分科会 2019)
Compactness arguments for finite structures
(研究集会:モデル理論夏の学校 2019 2019)
Compactness and finite structures
(RIMS Model Theory Workshop 2018 2018)
Finite combinatorics and compactness
(北陸先端科学技術大学院大学情報系セミナー 2018)
もっと見る
学歴 (2件):
- 1985 筑波大学 数学研究科 数学
- 1979 東京大学 理学部 数学
学位 (1件):
理学博士
委員歴 (1件):
2017/01 - 2018/12 The Committee of Logic in East Asia/ Chair
所属学会 (3件):
日本数学会
, Association for Symbolic Logic
, ASL (Association for Symbolic Logic)
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM