You are here

Tsuboi Akito

face
Affiliation
Faculty of Pure and Applied Sciences
Official title
Professor
URL
Research fields
Foundations of mathematics/Applied mathematics
Research projects
モデル理論におけるShelah予想とその解決に向けた研究2017 -- 2020坪井 明人Japan Society for the Promotion of Science/Grant-in-Aid for Scientific Research(C)4,420,000Yen
Stability theory -- (current)/
モデル理論におけるタイプ排除定理とその応用2010 -- 2012Japan Society of for the Promotion of Science/基盤研究(C)4,030,000Yen
1階言語で定義された算術理論のモデルの研究とその応用2007 -- 2009Japan Society of for the Promotion of Science/基盤研究(C)4,030,000Yen
超越的手法による有限モデル理論の研究とそのLachlan予想解決への応用2005 -- (current)Japan Society of for the Promotion of Science/基盤研究(C)3,200,000Yen
モデル理論における単純性と融合可能性に関する研究2002 -- (current)Japan Society of for the Promotion of Science/基盤研究(C)3,300,000Yen
可算モデルの個数が有限となる理論の研究2000 -- (current)Japan Society of for the Promotion of Science/基盤研究(C)3,800,000Yen
モデル理論における弱い同形概念の導入とその研究1998 -- (current)Japan Society of for the Promotion of Science/萌芽的研究500,000Yen
タイプ排除定理と無限組み合わせ論の研究2013 -- 2015坪井 明人Japan Society for the Promotion of Science/基盤研究(C)4,940,000Yen
Academic background
-- 1979The University of Tokyo Faculty of Science 数学
-- 1985University of Tsukuba Graduate School, Division of Mathematics 数学
Degree
理学博士
Academic societies
1985-01 -- (current)ASL (Association for Symbolic Logic)
-- (current)Association for Symbolic Logic
-- (current)日本数学会
Articles
  • Non-expressibility of a class of finite graphs
    Tsuboi Akito
    RIMS Kokyuroku, 2019-07
  • Infinite Monochromatic Subgraphs (Model theoretic aspects of the notion of independence and dimension)
    坪井 明人
    RIMS Kokyuroku/2002/pp.34-38, 2016-07
  • Dividing and Forking --- A Proof of the Equivalence ---
    Tsuboi Akito
    RIMS Kokyuroku/1888/pp.23-27, 2014-04
  • On the Existence of Indiscernible Trees
    Kota Takeuchi; Akito Tsuboi
    Annals of Pure and Applied Logic/163(12)/pp.1891-1902, 2012-12
  • Locally o-minimal structures
    Kawakami Tomohiro; Takeuchi Kota; Tanaka Hiroshi; Tsuboi ...
    JOURNAL OF THE MATHEMATICAL SOCIETY OF JAPAN/64(3)/pp.783-797, 2012-07
  • Trees and Branching Axioms (Model Theory of Fields and its Applications)
    坪井 明人
    RIMS Kokyuroku/1794/pp.50-54, 2012-05
  • Low theories and the number of independent partitions (Model theoretic aspects of the notion of independence and dimension)
    坪井 明人
    RIMS Kokyuroku/1741/pp.52-56, 2011-05
  • On generic automorphisms of a tree structure (New developments of independence notions in model theory)
    桔梗 宏孝; 坪井 明人
    RIMS Kokyuroku/1718/pp.52-57, 2010-10
  • On Coheir Sequences : Indiscernible Array, Tree and Forest (New developments of independence notions in model theory)
    坪井 明人
    RIMS Kokyuroku/1718/pp.81-91, 2010-10
  • Algebraic types and the number of countable models (Model Theory and It's Application to Algebra)
    坪井 明人
    RIMS Kokyuroku/1708/pp.29-34, 2010-08
  • ON GENERIC STRUCTURES WITH A STRONG AMALGAMATION PROPERTY
    Ikeda Koichiro; Kikyo Hirotaka; Tsuboi Akito
    JOURNAL OF SYMBOLIC LOGIC/74(3)/pp.721-733, 2009-09
  • A note on Steinhorn's omitting types theorem. (English)
    Tsuboi Akito
    Colloq. Math./115(2)/p.189-194, 2009-01
  • On generic structures with a strong amalgamation property. (English)
    Ikeda Koichiro; Kikyo Hirotaka; Tsuboi Akito
    J. Symb. Log./74,(No. 3,)/p.721-733, 2009-01
  • Generalized amalgamation and n-simplicity
    Kim Byunghan; Kolesnikov Alexei S.; Tsuboi Akito
    ANNALS OF PURE AND APPLIED LOGIC/155(2)/pp.97-114, 2008-09
  • Independence in generic structures (Model theoretic techniques for constructing infinite structures)
    坪井 明人
    RIMS Kokyuroku/1602/pp.33-36, 2008-06
  • Models omitting given complete types. (English)
    Tsuboi Akito
    Notre Dame J. Formal Logic/49,(No. 4,)/p.393-399, 2008-01
  • A note on stationarity of types over models in simple theories
    Kobayashi Makoto; Tsuboi Akito
    MATHEMATICAL LOGIC QUARTERLY/54(6)/pp.625-628, 2008-01
  • タイプの排除と順序型(モデル理論における独立概念と次元)
    坪井 明人
    RIMS Kokyuroku/1555/pp.73-74, 2007-05
  • Nonstandard models that are definable in models of Peano Arithmetic
    Ikeda Kazuma; Tsuboi Akito
    MATHEMATICAL LOGIC QUARTERLY/53(1)/pp.27-37, 2007-01
  • A Generalization of Morley's Omitting Types Theorem(Mathematical Logic and its Applications)
    坪井 明人
    RIMS Kokyuroku/1525/pp.1-4, 2006-11
  • 理論の単純性について : n-simplicity に関する考察(自然数の超準モデルにおける1階定義可能性の研究)
    坪井 明人
    RIMS Kokyuroku/1469/pp.96-100, 2006-02
  • PAのモデルの中で定義可能な非標準モデル(自然数の超準モデルにおける1階定義可能性の研究)
    池田 一磨; 坪井 明人
    RIMS Kokyuroku/1469/pp.35-45, 2006-02
  • On the existence of a Morley sequence with a certain property (Generic structures and their applications)
    坪井 明人
    RIMS Kokyuroku/1390/pp.46-48, 2004-07
  • Construction of saturated quasi-minimal structure
    Itai M; Tsuboi A; Wakai K
    JOURNAL OF SYMBOLIC LOGIC/69(1)/pp.9-22, 2004-03
  • 有限性を持つ理論について (モデル理論と代数幾何の交流)
    坪井 明人
    RIMS Kokyuroku/1344/pp.16-25, 2003-10
Books
  • 集合入門 単行本 – 坪井 明人 (著), 塩谷 真弘 (著), 佐垣 大輔 (著)
    坪井 明人
    2019-03
  • モデルの理論
    坪井明人
    河合文化教育研究所 (1997/02), 1997-01
  • ゲーデルと20世紀の論理学(ロジック)〈2〉完全性定理とモデル理論
    坪井 明人
    2006-10
  • 数理論理学の基礎・基本
    坪井明人
    牧野書店, 2012-03
Conference, etc.
  • A proof of Hales-Jewett theorem using a nonstandard method
    坪井 明人
    Tegata L4 workshop/2018-03-27--2018-03-29
  • Finite combinatorics and compactness
    Tsuboi Akito
    北陸先端科学技術大学院大学情報系セミナー/2018-09-05--2018-09-05
  • Compactness and finite structures
    Tsuboi Akito
    RIMS Model Theory Workshop 2018/2018-12-10--2018-12-12
  • A proof of Hales-Jewett theorem using a nonstandard method
    坪井 明人
    Combinatorics and Model Theory Seminar/2018-01-15--2018-01-15
  • On the notion of stability
    坪井 明人
    モデル理論夏の学校 2017/2017-09-20--2017-09-20
  • Graphs and automorphism groups
    坪井 明人
    日本数学会秋季総合分科会/2017-09-13--2017-09-13
  • On the number of independent orders
    Tsuboi Akito
    2016 RIMS Model Theory Workshop/2016-12-12--2016-12-14
  • モデル理論入門
    Tsuboi Akito
    基礎論サマースクール2016/2016-09-05--2016-09-07
  • Infinite Monochromatic Subgraphs
    Tsuboi Akito
    RIMS Model Theory Workshop/2015-12-15--2015-12-17
  • The number of independent strict orders
    Tsuboi Akito
    2017 鹿児島モデル理論研究集会/2017-03-09--2017-03-11
  • On the number of independent strict orders
    Tsuboi Akito
    日本数学会年会/2017-03-24--2017-03-27
  • A model theoretic construction of real closed fields
    Tsuboi Akito
    Asian Logic Conference 2013/2013-09-19
  • On Indiscernible Trees
    Tsuboi Akito
    American Mathematical Society, 2012 Spring Western Section Meeting/2012-03-04
  • Hrushovski ’s Construction
    Tsuboi Akito
    2010 Model Theory School in Seoul/2010-05-16
  • On Coheir Sequences
    Tsuboi Akito
    Model Theory Conference in Seoul/2010-05-22
  • Independent partitions and indiscernibility
    Akito Tsuboi
    RIMS Model Theory Meeting (Model theoretic aspects of the notion of independence and dimension)/2010-11-29
Teaching
2019-04 -- 2019-08Research in Information Mathematics VBUniversity of Tsukuba.
2019-10 -- 2020-02Seminar on Special Research on Mathematics IIIBUniversity of Tsukuba.
2019-04 -- 2019-08Introduction to Information Mathematics I -An Approach via Mathematical LogicUniversity of Tsukuba.
2019-04 -- 2019-08Research in Information Mathematics IVBUniversity of Tsukuba.
2019-08 -- 2019-08Global Issues and Global society: Environment & EnergyUniversity of Tsukuba.
2019-10 -- 2020-02Research in Information Mathematics IIAUniversity of Tsukuba.
2019-04 -- 2019-08Special Research on Mathematics IIIAUniversity of Tsukuba.
2019-10 -- 2020-02Research in Information Mathematics IIIAUniversity of Tsukuba.
2019-10 -- 2020-02Research in Information Mathematics IVAUniversity of Tsukuba.
2019-10 -- 2020-02Research in Information Mathematics IVBUniversity of Tsukuba.
Talks
  • Infinite Monochromatic Subgraphs
    Tsuboi Akito
    RIMS Model Theory Workshop/2015-12-15--2015-12-15
  • On Indiscernible Trees,
    Akito Tsuboi
    American Mathematical Society, 2012 Spring Western Section Meeting/2012-03-04
  • On the Existence of Indiscernible Trees
    Akito Tsuboi
    Asian Logic Conference/2011-12-20
  • On local O-minimality
    坪井明人
    モデル理論夏の学校2010/2010-08-27
  • On Coheir Sequences
    Akito Tsuboi
    Model Theory Conference in Seoul/2010-05-22
  • Hrushovski’s Construction
    Akito Tsuboi
    2010 Model Theory School in Seoul/2010-05-16
  • On Coheir Sequences - Sequence, Tree and Forest -
    Akito Tsuboi
    Model Theory Kirishima 2010/2010-03-03
Professional activities
2017-01 -- 2018-12The Association for Symbolic LogicThe Committee of Logic in East Asia/ Chair
University Management
2018-04 -- (current)大学院教育会議

(Last updated: 2019-08-26)