• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

TSUBOI Akito  坪井 明人

ORCIDConnect your ORCID iD *help
… Alternative Names

坪井 明人  ツボイ アキト

Less
Researcher Number 30180045
Other IDs
External Links
Affiliation (Current) 2025: 筑波大学, 数理物質系(名誉教授), 名誉教授
Affiliation (based on the past Project Information) *help 2025: 筑波大学, 数理物質系(名誉教授), 名誉教授
2021 – 2023: 筑波大学, 数理物質系(名誉教授), 名誉教授
2010 – 2020: 筑波大学, 数理物質系, 教授
2016: 筑波大学, 数理物質科学研究科, 教授
2015: 筑波大学, 大学院数理物質科学研究科, 教授 … More
2013: 筑波大学, 数理物質科学研究科(系), 教授
2013: 筑波大学, 数理物質科学研究科, 教授
2009: 筑波大学, 数理物質科学研究科, 教授
2006 – 2009: 筑波大学, 大学院・数理物質科学研究科, 教授
2007: 筑波大学, 数理物質科学研究科, 教授
2006: University of Tsukuba, Graduate School of Pure and Applied Sciences, Professor, 大学院数理物質科学研究科, 教授
2006: University of Tsukuba, Graduate School of Pure and Applied Sciences, Professor, 大学院数理物質科学研究科, 教授
2005: 筑波大学, 大学院数理物質科学研究科, 助教授
2004 – 2005: 筑波大学, 大学院・数理物質科学研究科, 助教授
1996 – 2004: 筑波大学, 数学系, 助教授
1994: 筑波大学, 数学系, 助教授
1989 – 1991: 筑波大学, 数学系, 講師
1988: 筑波大学, 数学系, 助手 Less
Review Section/Research Field
Principal Investigator
General mathematics (including Probability theory/Statistical mathematics) / General mathematics (including Probability theory/Statistical mathematics) / Basic Section 12030:Basic mathematics-related / Foundations of mathematics/Applied mathematics
Except Principal Investigator
General mathematics (including Probability theory/Statistical mathematics) / Foundations of mathematics/Applied mathematics / General mathematics (including Probability theory/Statistical mathematics) / 代数学・幾何学 / Algebra / Prosthetic dentistry / 計算機科学
Keywords
Principal Investigator
モデル理論 / 数理論理学 / 安定性 / モデル / 有限数学 / Model Theory / stability / structure / model / 無限組み合わせ論 … More / 安定性理論 / 排除定理 / タイプ / 単純性 / 一様列 / 彩色 / ランダムグラフ / ランダム構造 / 組み合わせ論 / コンパクト性 / 有限モデル理論 / 無限組み合わせ / axiomatizability / axiom / finite model / generic structure / タイリング / 定義可能 / 同型 / 再帰的 / ペアノ公理系 / 自然数 / 公理化 / 公理系 / 有限モデル / ジェネリック構造 / Peano Arithmetic / Simple Theory / 同型写像 / 定義可能性 / 一階論理式 / ペアノの公理 / 可算モデル / Ramsey / Erdos-Rado / 一様樹形図 / グラフ / モデル完全性 / 意味論 / 平面グラフ / モデル随伴理論 / 順序極小 / 構造 / 定義可能集合 / ロジック / 独立 / 言語 / 独立性 / 連続濃度 / タイプの排除 / 数学基礎論 / ラムゼ-の定理 / フィルター / 順序構造 / 安定 / 単純 / uncountably categorical / saturated model / fusion / DMP / almost strongly minimal / strongly minimal … More
Except Principal Investigator
ジェネリック構造 / 安定性理論 / 数理論理学 / 数学基礎論 / 巨大基数 / モデル理論 / 無限組合せ論 / 集合論 / 飽和イデアル / 強制法 / Lefschetz Property / definable model / Peano Arithmetic / complete intersection / generic構造 / 反映原理 / 公理的集合論 / 超安定 / Lachlan予想 / モデル完全性 / generic structure / ランダムグラフ / モデル完全 / 定常集合 / 飽和性 / フィルタ / ホップ代数 / Chevalley群 / PACn-learning / VCn-dimension / n-dependence / monochromatic subgraph / Ramsey class / Random graph / n-dependent property / VC-dimension / indiscernible / Ramsey property / 2-order property / n-dependent / 近モデル完全 / 有限構造の次元 / グラフ / 任意存在形の公理化 / 融合クラス / 射影平面 / 任意存在形 / 全融合性 / 融合 / cocbcle deformation / affine group scheme / braided category / tensor category / Picard-Vessiot theory / quantum group / Hopf algebra / 差分方程式 / 微分方程式 / テンソルカテゴリー / 組ひもカテゴリー / 形式群 / アフィン群 / コサイクル変形 / アフィン群スキーム / 組紐圏 / テンソル圏 / ピカール・ヴェシオ理論 / 量子群 / amalgamation property / generic predicate / generic automorphism / quasi-minimal structure / 加群の自己同型 / 不安定 / 自由融合性 / 局所次元 / symmetric group / central gap number / Artinian Gorenstein Algebra / Lefschetz性 / 定義可能モデル / ペアノ算術 / 融合性 / generic述語 / generic自己同型 / Stationary set / Saturation / Filter / Forcing / Large cardinal / Infinitary combinatorics / Set theory / Mathematical logic / イデアル / 超フィルタ / 生成超巾 / 定常集会 / Calculability / Abel Group / Stability Theory / Galois Theory / Definability / Boolean valued model / Information and Logic / Theory of Models / 安定群 / 超巾 / 計算機構論 / 証明論 / 論理 / 情報 / 超準解析 / 様相論理 / 公理化 / 計算可能性 / ア-ベル群 / ガロアの理論 / 定義可能性 / ブ-ル値モデル / 情報と論理 / モデルの理論 / 基本群の表現 / 結び目 / 3次元多様体 / 診療ガイドライン / 臨床試験 / 臨床疫学 / 使用ガイドライン / 臨床エビデンス / ガイドライン / 無作為割付臨床試験 / 多施設研究 / 義歯安定剤 / 稠密イデアル / Zero-one law / Generic構造 / ω安定 / コルモゴロフ複雑性 / 任意存在形の公理 / 関係構造 / 理論の公理化 / 辞書式順序積 / 順序群 / 初等クラス / 自己同型写像 / 順序加群 / 木構造 / 順序構造 / 自己同型 / 存在記号の消去 / 存在閉モデル / 圏論 / インターフェース / 証明検証 / psedo-arc / 無限次元多様体 / 単列的 / Super Stable / 素数分布 / ω-安定 / 単列環 / Grothendieck群 / 被覆 / カルタン行列 Less
  • Research Projects

    (28 results)
  • Research Products

    (117 results)
  • Co-Researchers

    (53 People)
  •  有限構造クラスの極限となる無限構造の研究Principal Investigator

    • Principal Investigator
      坪井 明人
    • Project Period (FY)
      2025 – 2028
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 12030:Basic mathematics-related
    • Research Institution
      University of Tsukuba
  •  Application of saturated structures to the study of finite model theoryPrincipal Investigator

    • Principal Investigator
      坪井 明人
    • Project Period (FY)
      2021 – 2024
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 12030:Basic mathematics-related
    • Research Institution
      University of Tsukuba
  •  Research to elucidate Shelah's conjecture and its related branches in model theoryPrincipal Investigator

    • Principal Investigator
      Tsuboi Akito
    • Project Period (FY)
      2017 – 2022
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Foundations of mathematics/Applied mathematics
    • Research Institution
      University of Tsukuba
  •  A study on new construction in model theory

    • Principal Investigator
      IKEDA Koichiro
    • Project Period (FY)
      2014 – 2016
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Foundations of mathematics/Applied mathematics
    • Research Institution
      Hosei University
  •  A development of stability theory with finite combinatorics

    • Principal Investigator
      TAKEUCHI Kota
    • Project Period (FY)
      2014 – 2017
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      Foundations of mathematics/Applied mathematics
    • Research Institution
      University of Tsukuba
  •  Omitting Types Theorem and Infinite CombinatricsPrincipal Investigator

    • Principal Investigator
      TSUBOI Akito
    • Project Period (FY)
      2013 – 2016
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Foundations of mathematics/Applied mathematics
    • Research Institution
      University of Tsukuba
  •  Study on generic structures in model theory

    • Principal Investigator
      Kikyo Hirotaka
    • Project Period (FY)
      2013 – 2015
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Foundations of mathematics/Applied mathematics
    • Research Institution
      Kobe University
  •  Study on effectiveness of denture adhesives: Multi center prospective clinical trial for clinical guidline

    • Principal Investigator
      KAWAI Yasuhiko
    • Project Period (FY)
      2012 – 2014
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Prosthetic dentistry
    • Research Institution
      Nihon University
  •  Construction of models of higher Chang conjectures and saturated ideals

    • Principal Investigator
      SHIOYA Masahiro
    • Project Period (FY)
      2011 – 2013
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      University of Tsukuba
  •  A study of a new method of construction in model theory

    • Principal Investigator
      IKEDA Koichiro
    • Project Period (FY)
      2011 – 2013
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Hosei University
  •  Omitting types theorem and its applicationPrincipal Investigator

    • Principal Investigator
      TSUBOI Akito
    • Project Period (FY)
      2010 – 2012
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      University of Tsukuba
  •  Study of first order model theory and its applicationPrincipal Investigator

    • Principal Investigator
      TSUBOI Akito
    • Project Period (FY)
      2007 – 2009
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      University of Tsukuba
  •  Study of the large infinite intrinsic to the small infinite

    • Principal Investigator
      SHIOYA Masahiro
    • Project Period (FY)
      2007 – 2009
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      University of Tsukuba
  •  Study of existentially closed models and its applications

    • Principal Investigator
      KIKYO Hirotaka
    • Project Period (FY)
      2007 – 2009
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Kobe University
  •  A Study of the Model Theory of Random Graphs

    • Principal Investigator
      IKEDA Koichiro
    • Project Period (FY)
      2007 – 2009
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Hosei University
  •  Unifying differential and difference Picard Vessiot theories by using Hopfalgebras

    • Principal Investigator
      MASUOKA Akira
    • Project Period (FY)
      2006 – 2007
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Algebra
    • Research Institution
      University of Tsukuba
  •  Set-theoretic study of measures

    • Principal Investigator
      SHIOYA Masahiro
    • Project Period (FY)
      2004 – 2006
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      University of Tsukuba
  •  Research of generic automorphisms of first order structures and its application to algebra

    • Principal Investigator
      KIKYO Hirotaka
    • Project Period (FY)
      2004 – 2006
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Kobe University
      Tokai University
  •  Infinite Method in Finite Model Theory and its application for aiming to solve Lachlan's conjecture.Principal Investigator

    • Principal Investigator
      TSUBOI Akito
    • Project Period (FY)
      2003 – 2005
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      University of Tsukuba
  •  Simplicity and Amalgamation in Model TheoryPrincipal Investigator

    • Principal Investigator
      TSUBOI Akito
    • Project Period (FY)
      2001 – 2002
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Institute of Mathematics, University of Tsukuba
  •  Study of theories with finitely many countable models.Principal Investigator

    • Principal Investigator
      TSUBOI Akito
    • Project Period (FY)
      1999 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      University of Tsukuba.
  •  モデル理論における弱い同形概念の導入とその研究Principal Investigator

    • Principal Investigator
      坪井 明人
    • Project Period (FY)
      1997 – 1998
    • Research Category
      Grant-in-Aid for Exploratory Research
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      University of Tsukuba
  •  自動定理証明におけるインターフェースの研究

    • Principal Investigator
      SAKAI Ko
    • Project Period (FY)
      1996
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      University of Tsukuba
  •  モデル論における飽和構造の研究Principal Investigator

    • Principal Investigator
      坪井 明人
    • Project Period (FY)
      1994
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      University of Tsukuba
  •  多元環の表現論とその関連分野の研究

    • Principal Investigator
      太刀川 弘幸
    • Project Period (FY)
      1989
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      代数学・幾何学
    • Research Institution
      University of Tsukuba
  •  代数及び位相幾何における無限生成の対象の研究(数理論理学及び集合論の応用)

    • Principal Investigator
      EDA Katsuya
    • Project Period (FY)
      1989
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      University of Tsukuba
  •  Co-operative Research of Theory of Models and related fields

    • Principal Investigator
      MOTOHASHI Nobuyoshi
    • Project Period (FY)
      1989 – 1991
    • Research Category
      Grant-in-Aid for Co-operative Research (A)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      University of Tsukuba
  •  幾何学と情報数学

    • Principal Investigator
      高橋 元男
    • Project Period (FY)
      1987 – 1988
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      代数学・幾何学
    • Research Institution
      University of Tsukuba

All 2023 2022 2021 2020 2019 2018 2017 2016 2015 2013 2012 2011 2010 2009 2008 2007 2006 2004 2003 Other

All Journal Article Presentation Book

  • [Book] 集合入門2019

    • Author(s)
      坪井明人 塩谷真弘 佐垣大輔
    • Total Pages
      155
    • Publisher
      牧野書店
    • ISBN
      9784434257964
    • Data Source
      KAKENHI-PROJECT-17K05342
  • [Book] 数理論理学の基礎・基本 (理工系数学の基礎・基本)2012

    • Author(s)
      坪井明人
    • Total Pages
      116
    • Publisher
      牧野書店
    • Data Source
      KAKENHI-PROJECT-22540110
  • [Book] 数理論理学の基礎・基本2012

    • Author(s)
      坪井明人
    • Total Pages
      116
    • Publisher
      牧野書店
    • Data Source
      KAKENHI-PROJECT-22540110
  • [Book] Godel and Logic in the Twentieth Century, 2. (in Japanese)2006

    • Author(s)
      Akito Tsuboi
    • Total Pages
      286
    • Publisher
      University of Tokyo Press
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16540094
  • [Book] ケ"ーテ"ルと20世紀の論理学 22006

    • Author(s)
      坪井明人
    • Total Pages
      286
    • Publisher
      東京大学出版会
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16540094
  • [Book] ゲーデルと20世紀の論理学・完全性定理とモデル理論2006

    • Author(s)
      田中一之, 坪井明人, 野本和幸
    • Total Pages
      286
    • Publisher
      東京大学出版会
    • Data Source
      KAKENHI-PROJECT-16540094
  • [Journal Article] Colored Random Graphs and the Order Property2023

    • Author(s)
      坪井 明人 (Tsuboi,Akito)
    • Journal Title

      RIMS Kokyuroku

      Volume: 2249 Pages: 1-4

    • Open Access
    • Data Source
      KAKENHI-PROJECT-21K03336
  • [Journal Article] Some results related to Keisler-Shelah isomorphism theorem2022

    • Author(s)
      Akito Tsuboi
    • Journal Title

      RIMS Kokyuroku

      Volume: 2218

    • Data Source
      KAKENHI-PROJECT-17K05342
  • [Journal Article] Some results related to Keisler-Shelah isomorphism theorem2022

    • Author(s)
      坪井 明人 (Tsuboi,Akito)
    • Journal Title

      RIMS Kokyuroku

      Volume: 2218

    • Data Source
      KAKENHI-PROJECT-21K03336
  • [Journal Article] On the number of independent orders2021

    • Author(s)
      Kota Takeuchi and Akito Tsuboi
    • Journal Title

      Annals of Pure and Applied Logic

      Volume: vol. 172, issue 2 Issue: 2 Pages: 102886-102886

    • DOI

      10.1016/j.apal.2020.102886

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19K20209, KAKENHI-PROJECT-17K05342
  • [Journal Article] Non-expressibility of a class of finite graphs2019

    • Author(s)
      坪井 明人 (Tsuboi,Akito )
    • Journal Title

      RIMS Kokyuroku

      Volume: No.2119

    • Open Access
    • Data Source
      KAKENHI-PROJECT-17K05342
  • [Journal Article] Infinite Monochromatic Subgraphs2016

    • Author(s)
      Akito Tsuboi
    • Journal Title

      RIMS Kokyuroku (Model theoretic aspects of the notion of independence and dimension)

      Volume: 2002 Pages: 34-38

    • Data Source
      KAKENHI-PROJECT-25400190
  • [Journal Article] A construction of real closed fields2015

    • Author(s)
      Y. Tanaka and A. Tsuboi
    • Journal Title

      Mathematical Logic Quarterly

      Volume: 61 Pages: 159-168

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-25400190
  • [Journal Article] Model companions of theories of graphs2015

    • Author(s)
      Kota Takeuchi, Yu-ichi Tanaka and Akito Tsuboi
    • Journal Title

      Mathematical Logic Quarterly

      Volume: 印刷中

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-26800077
  • [Journal Article] Model companions of theories of graph2015

    • Author(s)
      K. Takeuchi, Y. Tanaka and A. Tsuboi
    • Journal Title

      Mathematical Logic Quarterly

      Volume: 61 Issue: 3 Pages: 236-246

    • DOI

      10.1002/malq.201400019

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-25400190
  • [Journal Article] On the existence of indiscernible trees.2012

    • Author(s)
      Takeuchi, Kota; Tsuboi, Akito
    • Journal Title

      Ann. Pure Appl. Logic

      Volume: 163, No. 12, Pages: 1891-1902

    • NAID

      120007137191

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22540110
  • [Journal Article] Locally o-minimal structures2012

    • Author(s)
      Tomohiro Kawakami; Kota Takeuchi; Hiroshi Tanaka; Akito Tsuboi
    • Journal Title

      J. Math. Soc. Japan

      Volume: 64, No. 3 Pages: 783-797

    • NAID

      10031177249

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22540110
  • [Journal Article] On the existence of indiscernible trees2012

    • Author(s)
      Kota Takeuchi, Akito Tsuboi
    • Journal Title

      Annals of Pure and Applied Logic

      Volume: Vol. 163, Issue 12 Pages: 1891-1902

    • NAID

      120007137191

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22540110
  • [Journal Article] On the existence of indiscernible trees2012

    • Author(s)
      竹内耕太, 坪井明人
    • Journal Title

      Ann. Pure Appl. Logic

      Volume: 163 Pages: 1891-1902

    • NAID

      120007137191

    • URL

      http://www.sciencedirect.com/science/article/pii/S0168007212000978

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23540119
  • [Journal Article] Locally o-minimal structures2012

    • Author(s)
      川上智宏, 田中浩, 竹内耕太, 坪井明人
    • Journal Title

      J. Math. Soc. Japan

      Volume: 64 Pages: 783-797

    • NAID

      10031177249

    • URL

      http://projecteuclid.org/euclid.jmsj/1343133743

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23540119
  • [Journal Article] Locally o-minimal structures2012

    • Author(s)
      Kawakami, Tomohiro; Takeuchi, Kota; Tanaka, Hiroshi; Tsuboi, Akito
    • Journal Title

      J. Math. Soc. Japan

      Volume: 64, No. 3, Pages: 783-797

    • NAID

      10031177249

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22540110
  • [Journal Article] Low theories and the number of independent partitions2011

    • Author(s)
      坪井明人(Akito Tsuboi)
    • Journal Title

      数理解析研究所講究録

      Volume: 1,741 Pages: 52-56

    • Data Source
      KAKENHI-PROJECT-22540110
  • [Journal Article] Algebraic types and the number of countable models2010

    • Author(s)
      坪井明人
    • Journal Title

      Model Theory and It's Application to Algebra

      Pages: 29-34

    • Data Source
      KAKENHI-PROJECT-22540110
  • [Journal Article] Algebraic types and the number of countable models2010

    • Author(s)
      坪井明人(Akito Tsuboi)
    • Journal Title

      京都大学数理解析研究所講究録

      Volume: 1708 Pages: 29-34

    • Data Source
      KAKENHI-PROJECT-22540110
  • [Journal Article] A note on Steinhorn's omitting types theorem. (English)2009

    • Author(s)
      Tsuboi, Akito
    • Journal Title

      Colloq.Math. 115, No. 2

      Pages: 189-194

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19540111
  • [Journal Article] A note on Steinhorn's omitting types theorem2009

    • Author(s)
      A. Tsuboi
    • Journal Title

      Colloq. Math. 115,No.2

      Pages: 189-194

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19540126
  • [Journal Article] On generic structures with a strong amalgamation property2009

    • Author(s)
      K. Ikeda, H. Kikyo, A. Tsuboi
    • Journal Title

      Journal of Symboloc Logic 74 no.3

      Pages: 721-733

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19540126
  • [Journal Article] On generic structures with a strong amalgamation property2009

    • Author(s)
      池田宏一郎, H. Kikyo, A. Tsuboi
    • Journal Title

      journal of Symbolic Logic 74

      Pages: 721-733

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19540150
  • [Journal Article] A note on Steinhorn's omitting types theorem. (English)2009

    • Author(s)
      Tsuboi, Akito
    • Journal Title

      Colloq. Math. 115, No.2

      Pages: 189-194

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19540111
  • [Journal Article] A note on Steinhorn's omitting types theorem.2009

    • Author(s)
      Akito Tsuboi(共著者Makoto Kobayashi)
    • Journal Title

      Colloq.Math. 115, No.2

      Pages: 189-194

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19540111
  • [Journal Article] On generic structures with a strong amalgamation property. (English)2009

    • Author(s)
      Ikeda, Koichiro, Kikyo, Hirotaka, Tsuboi, Akito
    • Journal Title

      J.Symb.Log. 74, No. 3

      Pages: 721-733

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19540111
  • [Journal Article] On generic structures with a strong amalgamation property. (English)2009

    • Author(s)
      Akito Tsuboi(共著者Hirotaka Kikyo, Koichiro Ikeda)
    • Journal Title

      Journal of Symbolic Logic 74, No.3

      Pages: 721-733

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19540111
  • [Journal Article] On generic structures with a strong amalgamation property2009

    • Author(s)
      K.Ikeda, H.Kikyo, A.Tsuboi
    • Journal Title

      Journal of Symboloc Logic 74巻

      Pages: 721-733

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19540150
  • [Journal Article] A note on stationarity of types over models in simple theories. (English)2008

    • Author(s)
      Kobayashi, Makoto; Tsuboi, Akito
    • Journal Title

      Math. Log. Q. 54,No. 6

      Pages: 625-628

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19540111
  • [Journal Article] Generalized amalgamation and $n$-simplicity2008

    • Author(s)
      B. Kim, A. Kolesnikov, A. Tsuboi
    • Journal Title

      Ann. Pure Appl. Logic 155,No.2

      Pages: 97-114

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19540126
  • [Journal Article] Generalized amalgamation and $n$-simplicity. (English)2008

    • Author(s)
      Kim, Byunghan, Kolesnikov, Alexei S., Tsuboi, Akito
    • Journal Title

      Ann.Pure Appl.Logic 155, No. 2

      Pages: 97-114

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19540111
  • [Journal Article] Models omitting given complete types. (English)2008

    • Author(s)
      Tsuboi, Akito
    • Journal Title

      Notre Dame J.Formal Logic 49, No. 4

      Pages: 393-399

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19540111
  • [Journal Article] A note on stationarity of types over models in simple theories. (English)2008

    • Author(s)
      Kobayashi, Makoto, Tsuboi, Akito
    • Journal Title

      Math.Log.Q. 54, No. 6

      Pages: 625-628

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19540111
  • [Journal Article] Models omitting given complete types2008

    • Author(s)
      A. Tsuboi
    • Journal Title

      Notre Dame J. Formal Logic No.4

      Pages: 393-399

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19540126
  • [Journal Article] Generalized amalgamation and n-simplicity. (English)2008

    • Author(s)
      Kim, Byunghan; Kolesnikov, Alexei S.; Tsuboi, Akito
    • Journal Title

      Ann. Pure Appl. Logic 115, No.2

      Pages: 97-114

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19540111
  • [Journal Article] Nonstandard models that are definable in models of Peano Arithmetic2007

    • Author(s)
      Akito Tsuboi, Kazuma Ikeda
    • Journal Title

      Math. Log. Quart. 53

      Pages: 27-37

    • Data Source
      KAKENHI-PROJECT-16540094
  • [Journal Article] Nonstandard models that are definable in models of Peano Arithmetic2007

    • Author(s)
      Kazuma Ikeda, Akito Tsuboi
    • Journal Title

      Mathematical Logic Quarterly 53-1

      Pages: 27-37

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16540117
  • [Journal Article] "タイプの排除と順序型"2007

    • Author(s)
      坪井 明人(Akito Tsuboi)
    • Journal Title

      京都大学数理解析研究所講究録 1555

      Pages: 73-74

    • Data Source
      KAKENHI-PROJECT-19540111
  • [Journal Article] On model theoretic simplicity-a study on n-simplicity (in Japanese)2006

    • Author(s)
      Akito Tsuboi
    • Journal Title

      RIMS proceedings no.1469

      Pages: 96-100

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-15540104
  • [Journal Article] PAのモデルの中で定義可能な非標準モデル2006

    • Author(s)
      池田一磨, 坪井明人
    • Journal Title

      京都大学数理解析研究所講究録(自然数の超準モデルにおける1階定義可能性の研究) 1469号

      Pages: 35-45

    • Data Source
      KAKENHI-PROJECT-15540104
  • [Journal Article] 理論の単純性について--n-simplicityに関する考察--2006

    • Author(s)
      坪井明人
    • Journal Title

      京都大学数理解析研究所講究録(「自然数の超準モデルにおける1階定義可能性の研究」) 1469号

      Pages: 96-100

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-15540104
  • [Journal Article] 理論の単純性について-n-simplicityに関する考察-2006

    • Author(s)
      坪井明人
    • Journal Title

      京都大学数理解析研究所講究録(自然数の超準モデルにおける1階定義可能性の研究) 1469号

      Pages: 96-100

    • Data Source
      KAKENHI-PROJECT-15540104
  • [Journal Article] Construction of saturated quasi-minimal structure.2004

    • Author(s)
      Masanori Itai, Akito Tsuboi, Kentaro Wakai
    • Journal Title

      The Journal of Symbolic Logic 69・1

      Pages: 9-22

    • Data Source
      KAKENHI-PROJECT-15540104
  • [Journal Article] Construction of saturated quasi-minimal structures,2004

    • Author(s)
      Masanori Itai, Kentaro Wakai, Akito Tsuboi
    • Journal Title

      The journal of symbolic logic Volume 69, Issue 1,

      Pages: 9-22

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-15540104
  • [Journal Article] Construction of saturated quasi-minimal structures2004

    • Author(s)
      Masanori Itai, Kentaro Wakai, Akito Tsuboi
    • Journal Title

      The journal of symbolic logic volume 69, Issue 1

      Pages: 9-22

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-15540104
  • [Journal Article] Expanding the additive reduct of a model of Peano arithmetic2003

    • Author(s)
      M.Murakami, A.Tsuboi
    • Journal Title

      Mathematical Logic Quarterly 49・4

      Pages: 363-368

    • Data Source
      KAKENHI-PROJECT-15540104
  • [Journal Article] Implicit definability of subfields2003

    • Author(s)
      K.Fukuzaki, A.Tsuboi
    • Journal Title

      Notre Dame Journal of Formal Logic 44・4

      Pages: 217-225

    • Data Source
      KAKENHI-PROJECT-15540104
  • [Journal Article] Locally o-minimal structures

    • Author(s)
      T.Kawakami; K.Takeuchi; H.Tanaka; A.Tsuboi
    • Journal Title

      JMSJ

      Volume: (掲載決定)(未定)(紙媒体は2012年以降発行予定)

    • NAID

      10031177249

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22540110
  • [Journal Article] Locally o-minimal structures

    • Author(s)
      T.Kawakami; K.Takeuchi; H.Tanaka; A.Tsuboi
    • Journal Title

      JMSJ

      Volume: (掲載決定)(2012年以降発行)

    • NAID

      10031177249

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22540110
  • [Presentation] Coloring of Random Graphs and Instability2023

    • Author(s)
      坪井明人
    • Organizer
      Summer School and Workshop on Model Theory
    • Data Source
      KAKENHI-PROJECT-21K03336
  • [Presentation] Spectrum of finite models2023

    • Author(s)
      坪井明人
    • Organizer
      研究集会「モデル理論とその応用」
    • Data Source
      KAKENHI-PROJECT-21K03336
  • [Presentation] Ramsey’s theorem and coheir sequences2023

    • Author(s)
      坪井明人
    • Organizer
      日本数学会年会
    • Data Source
      KAKENHI-PROJECT-17K05342
  • [Presentation] Ramsey’s theorem and coheir sequences2023

    • Author(s)
      坪井明人
    • Organizer
      日本数学会年会
    • Data Source
      KAKENHI-PROJECT-21K03336
  • [Presentation] Dividing and Forking in Random Structures2023

    • Author(s)
      Akito Tsuboi
    • Organizer
      RIMS Model Theory Workshop
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K03336
  • [Presentation] Dividing and Forking in Random Structures2023

    • Author(s)
      坪井明人
    • Organizer
      日本数学会年会(大阪公立大学)
    • Data Source
      KAKENHI-PROJECT-21K03336
  • [Presentation] Expansions of Random Structures2023

    • Author(s)
      Akito Tsuboi
    • Organizer
      Seoul Model Theory Meeting
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K03336
  • [Presentation] Too many conditions make them trivial2023

    • Author(s)
      坪井明人
    • Organizer
      Model Theory Spring workshop 2023 Fukuoka
    • Data Source
      KAKENHI-PROJECT-21K03336
  • [Presentation] First course of model theory2022

    • Author(s)
      坪井明人
    • Organizer
      数学基礎論サマースクール
    • Data Source
      KAKENHI-PROJECT-17K05342
  • [Presentation] Colored Random Graphs and the Order Property2022

    • Author(s)
      Akito Tsuboi
    • Organizer
      Model theoretic aspects of the notion of independence and dimension, RIMS Model Theory Workshop 2022
    • Data Source
      KAKENHI-PROJECT-17K05342
  • [Presentation] Some comments on the difference between forking and dividing2022

    • Author(s)
      坪井明人
    • Organizer
      日本数学会秋季総合分科会
    • Data Source
      KAKENHI-PROJECT-17K05342
  • [Presentation] Some comments on the difference between forking and dividing2022

    • Author(s)
      坪井明人
    • Organizer
      日本数学会秋季総合分科会
    • Data Source
      KAKENHI-PROJECT-21K03336
  • [Presentation] Keisler’s Isomorphism Theorem, CH and Instability2021

    • Author(s)
      Akito Tsuboi
    • Organizer
      RIMS model theory workshop
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K05342
  • [Presentation] Torsion Free Groups and Model Completeness2021

    • Author(s)
      Akito Tsuboi
    • Organizer
      Model Theory Summer Workshop 2021
    • Data Source
      KAKENHI-PROJECT-21K03336
  • [Presentation] On coloring of Fraisse limits2020

    • Author(s)
      Akito Tsuboi
    • Organizer
      RIMS model theory workshop
    • Data Source
      KAKENHI-PROJECT-17K05342
  • [Presentation] Compactness argument for finite structures2019

    • Author(s)
      坪井明人
    • Organizer
      研究集会「Model Theory Summer School 2019」(東海大学 山中湖)
    • Data Source
      KAKENHI-PROJECT-17K05342
  • [Presentation] On the number of independent strict orders2019

    • Author(s)
      Akito Tsuboi
    • Organizer
      Model Theory Workshop at RIMS (京都大学数理解析研究所 12月3日)
    • Data Source
      KAKENHI-PROJECT-17K05342
  • [Presentation] A remark on Ehrenfeucht theories2019

    • Author(s)
      坪井明人
    • Organizer
      日本数学会秋季総合分科会 (金沢大学 9月19日)
    • Data Source
      KAKENHI-PROJECT-17K05342
  • [Presentation] Finite combinatorics and compactness2018

    • Author(s)
      坪井明人
    • Organizer
      北陸先端科学技術大学院大学情報科学系セミナー
    • Invited
    • Data Source
      KAKENHI-PROJECT-17K05342
  • [Presentation] A proof of Hales-Jewett theorem using a nonstandard method2018

    • Author(s)
      Akito Tsuboi
    • Organizer
      組合せ論・モデル理論セミナー
    • Invited
    • Data Source
      KAKENHI-PROJECT-17K05342
  • [Presentation] On the number of independent strict orders2017

    • Author(s)
      Akito Tsuboi
    • Organizer
      日本数学会
    • Place of Presentation
      首都大学東京(東京都八王子市)
    • Year and Date
      2017-03-24
    • Data Source
      KAKENHI-PROJECT-26800077
  • [Presentation] On the notion of stability2017

    • Author(s)
      坪井明人
    • Organizer
      モデル理論「夏の学校」研究集会
    • Data Source
      KAKENHI-PROJECT-17K05342
  • [Presentation] On the number of independent strict orders2017

    • Author(s)
      坪井明人
    • Organizer
      日本数学会
    • Place of Presentation
      首都大学東京(東京都八王子市南大沢1-1)
    • Data Source
      KAKENHI-PROJECT-25400190
  • [Presentation] "Hales-Jewett theorem and model theory"2017

    • Author(s)
      Akito Tsuboi
    • Organizer
      2017 RIMS Model Theory Workshop
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K05342
  • [Presentation] "On the number of independent strict orders"2016

    • Author(s)
      Akito Tsuboi
    • Organizer
      RIMS 研究集会
    • Place of Presentation
      Kyoto, RIMS (京都府左京区北白川追分町 京都大学 数理解析研究所)
    • Year and Date
      2016-12-12
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-25400190
  • [Presentation] Infinite Monochromatic Subgraphs2015

    • Author(s)
      Akito Tsuboi
    • Organizer
      2015 RIMS Model Theory Workshop
    • Place of Presentation
      Kyoto RIMS,京都府京都市
    • Year and Date
      2015-12-15
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-25400190
  • [Presentation] Real closed field as an extension of Q2013

    • Author(s)
      坪井明人
    • Organizer
      高知モデル理論研究集会
    • Place of Presentation
      高知工科大学 K203(K棟2階)
    • Data Source
      KAKENHI-PROJECT-22540110
  • [Presentation] Real closed field as an extension of Q2013

    • Author(s)
      坪井明人
    • Organizer
      高知モデル理論研究集会
    • Place of Presentation
      高知工科大学
    • Data Source
      KAKENHI-PROJECT-23540119
  • [Presentation] Simple proof of a basic result of forking2013

    • Author(s)
      坪井明人
    • Organizer
      Model Theoretic Aspects of the Notion of Independence and Dimension
    • Place of Presentation
      京都大学数理解析研究所
    • Data Source
      KAKENHI-PROJECT-23540119
  • [Presentation] On Indiscernible Trees2012

    • Author(s)
      Akito Tsuboi
    • Organizer
      American Mathematical Society, 2012 Spring Western Section Meeting
    • Place of Presentation
      University of Hawaii at Manoa, USA
    • Year and Date
      2012-03-04
    • Data Source
      KAKENHI-PROJECT-22540110
  • [Presentation] Generic Structureについて2012

    • Author(s)
      坪井明人
    • Organizer
      モデル理論夏の勉強会 2012
    • Place of Presentation
      東海大学山中湖セミナーハウス
    • Data Source
      KAKENHI-PROJECT-22540110
  • [Presentation] On small models2012

    • Author(s)
      坪井明人
    • Organizer
      モデル理論夏の勉強会
    • Place of Presentation
      東海大学山中湖セミナーハウス
    • Data Source
      KAKENHI-PROJECT-23540119
  • [Presentation] On Small Models2012

    • Author(s)
      坪井明人
    • Organizer
      モデル理論夏の勉強会 2012
    • Place of Presentation
      東海大学山中湖セミナーハウス
    • Data Source
      KAKENHI-PROJECT-22540110
  • [Presentation] On indiscernible trees2012

    • Author(s)
      Akito Tsuboi
    • Organizer
      AMS Meeting
    • Place of Presentation
      University of Hawaii, USA(招待講演)
    • Year and Date
      2012-03-04
    • Data Source
      KAKENHI-PROJECT-22540110
  • [Presentation] On the Existence of Indiscernible Trees2011

    • Author(s)
      Akito Tsuboi
    • Organizer
      Asian Logic Conference
    • Place of Presentation
      Victoria University, New Zealand
    • Year and Date
      2011-12-20
    • Data Source
      KAKENHI-PROJECT-22540110
  • [Presentation] Trees and Branching Axioms2011

    • Author(s)
      坪井明人
    • Organizer
      RIMS研究集会「体のモデル理論とその応用」
    • Place of Presentation
      京都大学数理解析研究所,京都市
    • Year and Date
      2011-11-29
    • Data Source
      KAKENHI-PROJECT-22540110
  • [Presentation] Trees and Branching Axioms2011

    • Author(s)
      坪井明人
    • Organizer
      体のモデル理論とその応用,Model Theory of Fields and its Applications, RIMS研究集会
    • Place of Presentation
      京都大学数理解析研究所
    • Data Source
      KAKENHI-PROJECT-22540110
  • [Presentation] モデル理論入門12011

    • Author(s)
      坪井明人
    • Organizer
      数学基礎論サマースクール
    • Place of Presentation
      神戸大学大学院工学研究科5W棟5W-301 (神戸市灘区六甲台町1-1)
    • Data Source
      KAKENHI-PROJECT-22540110
  • [Presentation] モデル理論入門22011

    • Author(s)
      坪井明人
    • Organizer
      数学基礎論サマースクール
    • Place of Presentation
      神戸大学大学院工学研究科5W棟5W-301 (神戸市灘区六甲台町1-1)
    • Data Source
      KAKENHI-PROJECT-22540110
  • [Presentation] On the existence of indiscernible trees2011

    • Author(s)
      Akito Tsuboi
    • Organizer
      Asian Logic Conference
    • Place of Presentation
      Victoria University, NZ(招待講演)
    • Year and Date
      2011-12-20
    • Data Source
      KAKENHI-PROJECT-22540110
  • [Presentation] On coheir sequences2010

    • Author(s)
      Akito Tsuboi
    • Organizer
      Model Theory 2010 Kagoshima
    • Place of Presentation
      鹿児島県霧島ホテル旅行人出荘
    • Year and Date
      2010-03-03
    • Data Source
      KAKENHI-PROJECT-19540111
  • [Presentation] On local O-minimality2010

    • Author(s)
      坪井明人
    • Organizer
      モデル理論夏の学校2010
    • Place of Presentation
      聖徳大学 10号館
    • Data Source
      KAKENHI-PROJECT-22540110
  • [Presentation] Hrushovski's Construction2010

    • Author(s)
      Akito Tsuboi
    • Organizer
      2010 Model Theory School in Seoul
    • Place of Presentation
      Yonsei University, Korea
    • Year and Date
      2010-05-16
    • Data Source
      KAKENHI-PROJECT-22540110
  • [Presentation] On coheir extentions2010

    • Author(s)
      A. Tsuboi
    • Organizer
      Model Theory Kirishima 2010, 京都大学RIMS合宿型セミナー
    • Place of Presentation
      旅行人山荘(霧島)
    • Year and Date
      2010-03-03
    • Data Source
      KAKENHI-PROJECT-19540126
  • [Presentation] Independent partitions and indiscernibility2010

    • Author(s)
      Akito Tsuboi
    • Organizer
      RIMS Model Theory Meeting
    • Place of Presentation
      京都大学数理解析研究所,京都市
    • Year and Date
      2010-11-29
    • Data Source
      KAKENHI-PROJECT-22540110
  • [Presentation] On coheir extentions2010

    • Author(s)
      Akito Tsuboi
    • Organizer
      Model Theory Kirishima 2010, New developments of "independence" in model theory
    • Place of Presentation
      Ryokojin-sanso, Kagoshima, Japan
    • Year and Date
      2010-03-03
    • Data Source
      KAKENHI-PROJECT-19540111
  • [Presentation] On Coheir Sequences-Sequence, Tree and Forest-2010

    • Author(s)
      Akito Tsuboi
    • Organizer
      Seoul Model Theory Meeting
    • Place of Presentation
      Yonsei University, Korea(招待講演)
    • Year and Date
      2010-05-22
    • Data Source
      KAKENHI-PROJECT-22540110
  • [Presentation] On Coheir Sequences2010

    • Author(s)
      Akito Tsuboi
    • Organizer
      Model Theory Conference in Seoul
    • Place of Presentation
      Yonsei University, Korea
    • Year and Date
      2010-05-22
    • Data Source
      KAKENHI-PROJECT-22540110
  • [Presentation] 一階様相μ計算とその周辺 (2)2009

    • Author(s)
      坪井明人
    • Organizer
      「モデル理論とその周辺」研究集会(宮武徹先生追悼研究集会)
    • Place of Presentation
      神戸大学自然科学総合研究棟3号館421プレゼンテーション室 (4階東側)
    • Year and Date
      2009-11-29
    • Data Source
      KAKENHI-PROJECT-19540111
  • [Presentation] On Average Types2009

    • Author(s)
      坪井明人
    • Organizer
      2009年度モデル理論サマースクール
    • Place of Presentation
      和歌山市民会館, 4階第二練習室
    • Year and Date
      2009-08-27
    • Data Source
      KAKENHI-PROJECT-19540111
  • [Presentation] 有限個の可算モデルを持つ理論I,II2009

    • Author(s)
      坪井明人
    • Organizer
      鹿児島モデル理論研究集会
    • Place of Presentation
      鹿児島国際大学728教室 (7号館2階)
    • Data Source
      KAKENHI-PROJECT-19540111
  • [Presentation] On Average Types2009

    • Author(s)
      坪井明人
    • Organizer
      009年度モデル理論サマースクール
    • Place of Presentation
      和歌山市民会館
    • Year and Date
      2009-08-27
    • Data Source
      KAKENHI-PROJECT-19540126
  • [Presentation] 不安定性と自己同型写像のクラスについて2009

    • Author(s)
      桔梗宏孝, 坪井明人
    • Organizer
      2009日本数学会秋季総合分科会
    • Place of Presentation
      大阪大学
    • Year and Date
      2009-09-27
    • Data Source
      KAKENHI-PROJECT-19540126
  • [Presentation] Algebraic types and the number of countable models2008

    • Author(s)
      坪井明人
    • Organizer
      RIMS研究集会
    • Place of Presentation
      京都大学数理解析研究
    • Year and Date
      2008-11-11
    • Data Source
      KAKENHI-PROJECT-19540111
  • [Presentation] An extension of Steinhorn's result on omitting types theorem2007

    • Author(s)
      坪井明人
    • Organizer
      モデル理論夏の勉強会2007
    • Place of Presentation
      筑波大学総合研究B棟1階0110室
    • Year and Date
      2007-08-07
    • Data Source
      KAKENHI-PROJECT-19540111
  • [Presentation] Independence in generic structures2007

    • Author(s)
      坪井明人
    • Organizer
      RIMS研究集会, モデル理論の手法による無限構造の構成法
    • Place of Presentation
      京都大学数理解析研究所
    • Data Source
      KAKENHI-PROJECT-19540111
  • [Presentation] An extension of Steinhorn's result on omitting types theorem2007

    • Author(s)
      Akito Tsuboi
    • Organizer
      モデル理論夏の勉強会2007
    • Place of Presentation
      筑波大学総合B棟1階会議室
    • Year and Date
      2007-08-07
    • Data Source
      KAKENHI-PROJECT-19540111
  • [Presentation] "Simple proof of a basic result of forking

    • Author(s)
      Akito Tsuboi
    • Organizer
      2013 RIMS Model Theory Workshop
    • Place of Presentation
      Research Institute for Mathematical Sciences, Kyoto University, Kyoto
    • Data Source
      KAKENHI-PROJECT-25400190
  • [Presentation] Infinitary Method for Finite Structures

    • Author(s)
      Akito TSUBOI
    • Organizer
      Classification Theory Workshop
    • Place of Presentation
      Daejon, Korea
    • Year and Date
      2014-08-06 – 2014-08-09
    • Invited
    • Data Source
      KAKENHI-PROJECT-25400190
  • [Presentation] On small models

    • Author(s)
      坪井明人
    • Organizer
      「モデル理論夏の学校」研究集会
    • Place of Presentation
      東海大学山中湖セミナーハウス
    • Data Source
      KAKENHI-PROJECT-22540110
  • [Presentation] A Model Theoretic Construction of Real Closed Fields

    • Author(s)
      Akito Tsuboi
    • Organizer
      The 13th Asian Logic Conference
    • Place of Presentation
      Guangzhou, China
    • Invited
    • Data Source
      KAKENHI-PROJECT-25400190
  • [Presentation] On Dividing and Forking

    • Author(s)
      坪井明人
    • Organizer
      「モデル理論夏の学校」研究集会
    • Place of Presentation
      東海大学高輪キャンパス,東京都港区高輪
    • Data Source
      KAKENHI-PROJECT-25400190
  • [Presentation] Real closed field as an extension of Q

    • Author(s)
      坪井明人
    • Organizer
      高知モデル理論研究集会
    • Place of Presentation
      高知工科大学
    • Data Source
      KAKENHI-PROJECT-22540110
  • 1.  SHIOYA Masahiro (30251028)
    # of Collaborated Projects: 13 results
    # of Collaborated Products: 1 results
  • 2.  KIKYO Hirotaka (80204824)
    # of Collaborated Projects: 9 results
    # of Collaborated Products: 6 results
  • 3.  MOTOHASHI Nobuyoshi (70015874)
    # of Collaborated Projects: 7 results
    # of Collaborated Products: 0 results
  • 4.  IKEDA Koichiro (60332029)
    # of Collaborated Projects: 7 results
    # of Collaborated Products: 5 results
  • 5.  TSUKADA Nabutaka (50015559)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 0 results
  • 6.  ITAI Masanori (80266361)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 3 results
  • 7.  EDA Katsuya (90015826)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 8.  NISHIMURA Hirokazu (70135614)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 9.  ABE Yoshihiro (10159452)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 10.  MATSUBARA Yo (30242788)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 11.  TAKEUCHI Kota (50722485)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 3 results
  • 12.  MITSUHIRO Takeuchi (00015950)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 13.  SAKAI Ko (20241797)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 14.  山形 邦夫 (60015849)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 15.  阿部 英一 (30015507)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 16.  酒井 克郎 (50036084)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 17.  IKEDA Kazuma (10383449)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 2 results
  • 18.  KAWAI Yasuhiko (50221198)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 19.  KIMOTO Suguru (10267106)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 20.  ICHIKAWA Tetsuo (90193432)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 21.  KIMOTO Katsuhiko (70205011)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 22.  SUZUKI Tetsuya (60179231)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 23.  HONG Guang (70363083)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 24.  HAMADA Taizou (50034244)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 25.  MURATA Hiroshi (40229993)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 26.  MINAKUCHI Shunsuke (30219688)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 27.  YONEYAMA Yoshikazu (50230842)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 28.  OKAZAKI Joji (80169094)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 29.  SATO Masahiko (20027387)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 30.  UESU Tadahiro (60015550)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 31.  YOSUGI Mariko (90022277)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 32.  WATANABE Junzo (40022727)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 33.  MASUOKA Akira (50229366)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 34.  AMANO Katsutoshi (40400642)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 35.  MORITA Jun (20166416)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 36.  太刀川 弘幸 (20015473)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 37.  三河 寛 (10219602)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 38.  川村 一宏 (40204771)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 39.  南 就将 (10183964)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 40.  佐々木 健昭 (80087436)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 41.  壇 和日子 (40251029)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 42.  近藤 尚知 (70343150)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 43.  坪井 明人 (00241646)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 44.  西 恭宏 (10189251)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 45.  高橋 元男 (30015896)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 46.  遊上 毅 (20015879)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 47.  安本 雅洋 (10144114)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 48.  YANAGAWA Makoto
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 49.  YODA Hiroki
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 50.  OKABE Shunsuke
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 51.  BALDWIN John T
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 52.  WAGNER Frank O.
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 53.  CHERNIKOV Artem
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi