• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

坪井 明人  TSUBOI Akito

ORCIDORCID連携する *注記
研究者番号 30180045
その他のID
外部サイト
所属 (現在) 2025年度: 筑波大学, 数理物質系(名誉教授), 名誉教授
所属 (過去の研究課題情報に基づく) *注記 2025年度: 筑波大学, 数理物質系(名誉教授), 名誉教授
2021年度 – 2023年度: 筑波大学, 数理物質系(名誉教授), 名誉教授
2010年度 – 2020年度: 筑波大学, 数理物質系, 教授
2016年度: 筑波大学, 数理物質科学研究科, 教授
2015年度: 筑波大学, 大学院数理物質科学研究科, 教授 … もっと見る
2013年度: 筑波大学, 数理物質科学研究科(系), 教授
2013年度: 筑波大学, 数理物質科学研究科, 教授
2009年度: 筑波大学, 数理物質科学研究科, 教授
2006年度 – 2009年度: 筑波大学, 大学院・数理物質科学研究科, 教授
2007年度: 筑波大学, 数理物質科学研究科, 教授
2006年度: 筑波大学, 大学院数理物質科学研究科, 教授
2006年度: 筑波大学学, 大学院数理物質科学研究科, 教授
2005年度: 筑波大学, 大学院数理物質科学研究科, 助教授
2004年度 – 2005年度: 筑波大学, 大学院・数理物質科学研究科, 助教授
1996年度 – 2004年度: 筑波大学, 数学系, 助教授
1994年度: 筑波大学, 数学系, 助教授
1989年度 – 1991年度: 筑波大学, 数学系, 講師
1988年度: 筑波大学, 数学系, 助手 隠す
審査区分/研究分野
研究代表者
数学一般(含確率論・統計数学) / 数学一般(含確率論・統計数学) / 小区分12030:数学基礎関連 / 数学基礎・応用数学
研究代表者以外
数学一般(含確率論・統計数学) / 数学基礎・応用数学 / 数学一般 / 代数学・幾何学 / 代数学 / 補綴系歯学 / 計算機科学
キーワード
研究代表者
モデル理論 / 数理論理学 / 安定性 / モデル / 有限数学 / Model Theory / stability / structure / model / 無限組み合わせ論 … もっと見る / 安定性理論 / 排除定理 / タイプ / 単純性 / 一様列 / 彩色 / ランダムグラフ / ランダム構造 / 組み合わせ論 / コンパクト性 / 有限モデル理論 / 無限組み合わせ / axiomatizability / axiom / finite model / generic structure / タイリング / 定義可能 / 同型 / 再帰的 / ペアノ公理系 / 自然数 / 公理化 / 公理系 / 有限モデル / ジェネリック構造 / Peano Arithmetic / Simple Theory / 同型写像 / 定義可能性 / 一階論理式 / ペアノの公理 / 可算モデル / Ramsey / Erdos-Rado / 一様樹形図 / グラフ / モデル完全性 / 意味論 / 平面グラフ / モデル随伴理論 / 順序極小 / 構造 / 定義可能集合 / ロジック / 独立 / 言語 / 独立性 / 連続濃度 / タイプの排除 / 数学基礎論 / ラムゼ-の定理 / フィルター / 順序構造 / 安定 / 単純 / uncountably categorical / saturated model / fusion / DMP / almost strongly minimal / strongly minimal … もっと見る
研究代表者以外
ジェネリック構造 / 安定性理論 / 数理論理学 / 数学基礎論 / 巨大基数 / モデル理論 / 無限組合せ論 / 集合論 / 飽和イデアル / 強制法 / 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群 / 被覆 / カルタン行列 隠す
  • 研究課題

    (28件)
  • 研究成果

    (117件)
  • 共同研究者

    (53人)
  •  有限構造クラスの極限となる無限構造の研究研究代表者

    • 研究代表者
      坪井 明人
    • 研究期間 (年度)
      2025 – 2028
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分12030:数学基礎関連
    • 研究機関
      筑波大学
  •  無限飽和構造の有限モデル理論への応用研究代表者

    • 研究代表者
      坪井 明人
    • 研究期間 (年度)
      2021 – 2024
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分12030:数学基礎関連
    • 研究機関
      筑波大学
  •  モデル理論におけるShelah予想とその解決に向けた研究研究代表者

    • 研究代表者
      坪井 明人
    • 研究期間 (年度)
      2017 – 2022
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学基礎・応用数学
    • 研究機関
      筑波大学
  •  モデル理論における新たな構成法の研究

    • 研究代表者
      池田 宏一郎
    • 研究期間 (年度)
      2014 – 2016
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学基礎・応用数学
    • 研究機関
      法政大学
  •  有限組み合わせ論を用いた安定性理論の新展開

    • 研究代表者
      竹内 耕太
    • 研究期間 (年度)
      2014 – 2017
    • 研究種目
      若手研究(B)
    • 研究分野
      数学基礎・応用数学
    • 研究機関
      筑波大学
  •  タイプ排除定理と無限組み合わせ論の研究研究代表者

    • 研究代表者
      坪井 明人
    • 研究期間 (年度)
      2013 – 2016
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学基礎・応用数学
    • 研究機関
      筑波大学
  •  モデル理論におけるジェネリック構造の研究

    • 研究代表者
      桔梗 宏孝
    • 研究期間 (年度)
      2013 – 2015
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学基礎・応用数学
    • 研究機関
      神戸大学
  •  義歯安定剤利用ガイドライン構築に関する基盤研究:マルチセンター前向き臨床研究

    • 研究代表者
      河相 安彦
    • 研究期間 (年度)
      2012 – 2014
    • 研究種目
      基盤研究(B)
    • 研究分野
      補綴系歯学
    • 研究機関
      日本大学
  •  高次Chang予想と飽和イデアルのモデルの構成

    • 研究代表者
      塩谷 真弘
    • 研究期間 (年度)
      2011 – 2013
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      筑波大学
  •  モデル理論における新たな構成法の構築

    • 研究代表者
      池田 宏一郎
    • 研究期間 (年度)
      2011 – 2013
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      法政大学
  •  モデル理論におけるタイプ排除定理とその応用研究代表者

    • 研究代表者
      坪井 明人
    • 研究期間 (年度)
      2010 – 2012
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      筑波大学
  •  1階言語で定義された算術理論のモデルの研究とその応用研究代表者

    • 研究代表者
      坪井 明人
    • 研究期間 (年度)
      2007 – 2009
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      筑波大学
  •  小さな無限に内在する巨大な無限の研究

    • 研究代表者
      塩谷 真弘
    • 研究期間 (年度)
      2007 – 2009
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      筑波大学
  •  存在閉モデルの研究とその応用

    • 研究代表者
      桔梗 宏孝
    • 研究期間 (年度)
      2007 – 2009
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      神戸大学
  •  ランダムグラフを用いたモデル理論の研究

    • 研究代表者
      池田 宏一郎
    • 研究期間 (年度)
      2007 – 2009
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      法政大学
  •  ホップ代数を用いた微分・差分統一Picard-Vessiot理論

    • 研究代表者
      増岡 彰
    • 研究期間 (年度)
      2006 – 2007
    • 研究種目
      基盤研究(C)
    • 研究分野
      代数学
    • 研究機関
      筑波大学
  •  測度の集合論的研究

    • 研究代表者
      塩谷 真弘
    • 研究期間 (年度)
      2004 – 2006
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      筑波大学
  •  一階の構造のgeneric自己同型写像の研究とその代数学への応用

    • 研究代表者
      桔梗 宏孝
    • 研究期間 (年度)
      2004 – 2006
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      神戸大学
      東海大学
  •  超越的手法による有限モデル理論の研究とそのLachlan予想解決への応用研究代表者

    • 研究代表者
      坪井 明人
    • 研究期間 (年度)
      2003 – 2005
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      筑波大学
  •  モデル理論における単純性と融合可能性に関する研究研究代表者

    • 研究代表者
      坪井 明人
    • 研究期間 (年度)
      2001 – 2002
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      筑波大学
  •  可算モデルの個数が有限となる理論の研究研究代表者

    • 研究代表者
      坪井 明人
    • 研究期間 (年度)
      1999 – 2000
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      筑波大学
  •  モデル理論における弱い同形概念の導入とその研究研究代表者

    • 研究代表者
      坪井 明人
    • 研究期間 (年度)
      1997 – 1998
    • 研究種目
      萌芽的研究
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      筑波大学
  •  自動定理証明におけるインターフェースの研究

    • 研究代表者
      坂井 公
    • 研究期間 (年度)
      1996
    • 研究種目
      基盤研究(C)
    • 研究分野
      計算機科学
    • 研究機関
      筑波大学
  •  モデル論における飽和構造の研究研究代表者

    • 研究代表者
      坪井 明人
    • 研究期間 (年度)
      1994
    • 研究種目
      一般研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      筑波大学
  •  多元環の表現論とその関連分野の研究

    • 研究代表者
      太刀川 弘幸
    • 研究期間 (年度)
      1989
    • 研究種目
      一般研究(C)
    • 研究分野
      代数学・幾何学
    • 研究機関
      筑波大学
  •  代数及び位相幾何における無限生成の対象の研究(数理論理学及び集合論の応用)

    • 研究代表者
      江田 勝哉
    • 研究期間 (年度)
      1989
    • 研究種目
      一般研究(C)
    • 研究分野
      数学一般
    • 研究機関
      筑波大学
  •  モデルの理論とその関連分野の総合的研究

    • 研究代表者
      本橋 信義
    • 研究期間 (年度)
      1989 – 1991
    • 研究種目
      総合研究(A)
    • 研究分野
      数学一般
    • 研究機関
      筑波大学
  •  幾何学と情報数学

    • 研究代表者
      高橋 元男
    • 研究期間 (年度)
      1987 – 1988
    • 研究種目
      一般研究(C)
    • 研究分野
      代数学・幾何学
    • 研究機関
      筑波大学

すべて 2023 2022 2021 2020 2019 2018 2017 2016 2015 2013 2012 2011 2010 2009 2008 2007 2006 2004 2003 その他

すべて 雑誌論文 学会発表 図書

  • [図書] 集合入門2019

    • 著者名/発表者名
      坪井明人 塩谷真弘 佐垣大輔
    • 総ページ数
      155
    • 出版者
      牧野書店
    • ISBN
      9784434257964
    • データソース
      KAKENHI-PROJECT-17K05342
  • [図書] 数理論理学の基礎・基本 (理工系数学の基礎・基本)2012

    • 著者名/発表者名
      坪井明人
    • 総ページ数
      116
    • 出版者
      牧野書店
    • データソース
      KAKENHI-PROJECT-22540110
  • [図書] 数理論理学の基礎・基本2012

    • 著者名/発表者名
      坪井明人
    • 総ページ数
      116
    • 出版者
      牧野書店
    • データソース
      KAKENHI-PROJECT-22540110
  • [図書] Godel and Logic in the Twentieth Century, 2. (in Japanese)2006

    • 著者名/発表者名
      Akito Tsuboi
    • 総ページ数
      286
    • 出版者
      University of Tokyo Press
    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16540094
  • [図書] ケ"ーテ"ルと20世紀の論理学 22006

    • 著者名/発表者名
      坪井明人
    • 総ページ数
      286
    • 出版者
      東京大学出版会
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16540094
  • [図書] ゲーデルと20世紀の論理学・完全性定理とモデル理論2006

    • 著者名/発表者名
      田中一之, 坪井明人, 野本和幸
    • 総ページ数
      286
    • 出版者
      東京大学出版会
    • データソース
      KAKENHI-PROJECT-16540094
  • [雑誌論文] Colored Random Graphs and the Order Property2023

    • 著者名/発表者名
      坪井 明人 (Tsuboi,Akito)
    • 雑誌名

      RIMS Kokyuroku

      巻: 2249 ページ: 1-4

    • オープンアクセス
    • データソース
      KAKENHI-PROJECT-21K03336
  • [雑誌論文] Some results related to Keisler-Shelah isomorphism theorem2022

    • 著者名/発表者名
      Akito Tsuboi
    • 雑誌名

      RIMS Kokyuroku

      巻: 2218

    • データソース
      KAKENHI-PROJECT-17K05342
  • [雑誌論文] Some results related to Keisler-Shelah isomorphism theorem2022

    • 著者名/発表者名
      坪井 明人 (Tsuboi,Akito)
    • 雑誌名

      RIMS Kokyuroku

      巻: 2218

    • データソース
      KAKENHI-PROJECT-21K03336
  • [雑誌論文] On the number of independent orders2021

    • 著者名/発表者名
      Kota Takeuchi and Akito Tsuboi
    • 雑誌名

      Annals of Pure and Applied Logic

      巻: vol. 172, issue 2 号: 2 ページ: 102886-102886

    • DOI

      10.1016/j.apal.2020.102886

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19K20209, KAKENHI-PROJECT-17K05342
  • [雑誌論文] Non-expressibility of a class of finite graphs2019

    • 著者名/発表者名
      坪井 明人 (Tsuboi,Akito )
    • 雑誌名

      RIMS Kokyuroku

      巻: No.2119

    • オープンアクセス
    • データソース
      KAKENHI-PROJECT-17K05342
  • [雑誌論文] Infinite Monochromatic Subgraphs2016

    • 著者名/発表者名
      Akito Tsuboi
    • 雑誌名

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

      巻: 2002 ページ: 34-38

    • データソース
      KAKENHI-PROJECT-25400190
  • [雑誌論文] A construction of real closed fields2015

    • 著者名/発表者名
      Y. Tanaka and A. Tsuboi
    • 雑誌名

      Mathematical Logic Quarterly

      巻: 61 ページ: 159-168

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-25400190
  • [雑誌論文] Model companions of theories of graphs2015

    • 著者名/発表者名
      Kota Takeuchi, Yu-ichi Tanaka and Akito Tsuboi
    • 雑誌名

      Mathematical Logic Quarterly

      巻: 印刷中

    • 査読あり
    • データソース
      KAKENHI-PROJECT-26800077
  • [雑誌論文] Model companions of theories of graph2015

    • 著者名/発表者名
      K. Takeuchi, Y. Tanaka and A. Tsuboi
    • 雑誌名

      Mathematical Logic Quarterly

      巻: 61 号: 3 ページ: 236-246

    • DOI

      10.1002/malq.201400019

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-25400190
  • [雑誌論文] On the existence of indiscernible trees.2012

    • 著者名/発表者名
      Takeuchi, Kota; Tsuboi, Akito
    • 雑誌名

      Ann. Pure Appl. Logic

      巻: 163, No. 12, ページ: 1891-1902

    • NAID

      120007137191

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22540110
  • [雑誌論文] Locally o-minimal structures2012

    • 著者名/発表者名
      Tomohiro Kawakami; Kota Takeuchi; Hiroshi Tanaka; Akito Tsuboi
    • 雑誌名

      J. Math. Soc. Japan

      巻: 64, No. 3 ページ: 783-797

    • NAID

      10031177249

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22540110
  • [雑誌論文] On the existence of indiscernible trees2012

    • 著者名/発表者名
      Kota Takeuchi, Akito Tsuboi
    • 雑誌名

      Annals of Pure and Applied Logic

      巻: Vol. 163, Issue 12 ページ: 1891-1902

    • NAID

      120007137191

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22540110
  • [雑誌論文] On the existence of indiscernible trees2012

    • 著者名/発表者名
      竹内耕太, 坪井明人
    • 雑誌名

      Ann. Pure Appl. Logic

      巻: 163 ページ: 1891-1902

    • NAID

      120007137191

    • URL

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

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23540119
  • [雑誌論文] Locally o-minimal structures2012

    • 著者名/発表者名
      川上智宏, 田中浩, 竹内耕太, 坪井明人
    • 雑誌名

      J. Math. Soc. Japan

      巻: 64 ページ: 783-797

    • NAID

      10031177249

    • URL

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

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23540119
  • [雑誌論文] Locally o-minimal structures2012

    • 著者名/発表者名
      Kawakami, Tomohiro; Takeuchi, Kota; Tanaka, Hiroshi; Tsuboi, Akito
    • 雑誌名

      J. Math. Soc. Japan

      巻: 64, No. 3, ページ: 783-797

    • NAID

      10031177249

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22540110
  • [雑誌論文] Low theories and the number of independent partitions2011

    • 著者名/発表者名
      坪井明人(Akito Tsuboi)
    • 雑誌名

      数理解析研究所講究録

      巻: 1,741 ページ: 52-56

    • データソース
      KAKENHI-PROJECT-22540110
  • [雑誌論文] Algebraic types and the number of countable models2010

    • 著者名/発表者名
      坪井明人
    • 雑誌名

      Model Theory and It's Application to Algebra

      ページ: 29-34

    • データソース
      KAKENHI-PROJECT-22540110
  • [雑誌論文] Algebraic types and the number of countable models2010

    • 著者名/発表者名
      坪井明人(Akito Tsuboi)
    • 雑誌名

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

      巻: 1708 ページ: 29-34

    • データソース
      KAKENHI-PROJECT-22540110
  • [雑誌論文] A note on Steinhorn's omitting types theorem. (English)2009

    • 著者名/発表者名
      Tsuboi, Akito
    • 雑誌名

      Colloq.Math. 115, No. 2

      ページ: 189-194

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19540111
  • [雑誌論文] A note on Steinhorn's omitting types theorem2009

    • 著者名/発表者名
      A. Tsuboi
    • 雑誌名

      Colloq. Math. 115,No.2

      ページ: 189-194

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19540126
  • [雑誌論文] On generic structures with a strong amalgamation property2009

    • 著者名/発表者名
      K. Ikeda, H. Kikyo, A. Tsuboi
    • 雑誌名

      Journal of Symboloc Logic 74 no.3

      ページ: 721-733

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19540126
  • [雑誌論文] On generic structures with a strong amalgamation property2009

    • 著者名/発表者名
      池田宏一郎, H. Kikyo, A. Tsuboi
    • 雑誌名

      journal of Symbolic Logic 74

      ページ: 721-733

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19540150
  • [雑誌論文] A note on Steinhorn's omitting types theorem. (English)2009

    • 著者名/発表者名
      Tsuboi, Akito
    • 雑誌名

      Colloq. Math. 115, No.2

      ページ: 189-194

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19540111
  • [雑誌論文] A note on Steinhorn's omitting types theorem.2009

    • 著者名/発表者名
      Akito Tsuboi(共著者Makoto Kobayashi)
    • 雑誌名

      Colloq.Math. 115, No.2

      ページ: 189-194

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19540111
  • [雑誌論文] On generic structures with a strong amalgamation property. (English)2009

    • 著者名/発表者名
      Ikeda, Koichiro, Kikyo, Hirotaka, Tsuboi, Akito
    • 雑誌名

      J.Symb.Log. 74, No. 3

      ページ: 721-733

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19540111
  • [雑誌論文] On generic structures with a strong amalgamation property. (English)2009

    • 著者名/発表者名
      Akito Tsuboi(共著者Hirotaka Kikyo, Koichiro Ikeda)
    • 雑誌名

      Journal of Symbolic Logic 74, No.3

      ページ: 721-733

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19540111
  • [雑誌論文] On generic structures with a strong amalgamation property2009

    • 著者名/発表者名
      K.Ikeda, H.Kikyo, A.Tsuboi
    • 雑誌名

      Journal of Symboloc Logic 74巻

      ページ: 721-733

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19540150
  • [雑誌論文] A note on stationarity of types over models in simple theories. (English)2008

    • 著者名/発表者名
      Kobayashi, Makoto; Tsuboi, Akito
    • 雑誌名

      Math. Log. Q. 54,No. 6

      ページ: 625-628

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19540111
  • [雑誌論文] Generalized amalgamation and $n$-simplicity2008

    • 著者名/発表者名
      B. Kim, A. Kolesnikov, A. Tsuboi
    • 雑誌名

      Ann. Pure Appl. Logic 155,No.2

      ページ: 97-114

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19540126
  • [雑誌論文] Generalized amalgamation and $n$-simplicity. (English)2008

    • 著者名/発表者名
      Kim, Byunghan, Kolesnikov, Alexei S., Tsuboi, Akito
    • 雑誌名

      Ann.Pure Appl.Logic 155, No. 2

      ページ: 97-114

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19540111
  • [雑誌論文] Models omitting given complete types. (English)2008

    • 著者名/発表者名
      Tsuboi, Akito
    • 雑誌名

      Notre Dame J.Formal Logic 49, No. 4

      ページ: 393-399

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19540111
  • [雑誌論文] A note on stationarity of types over models in simple theories. (English)2008

    • 著者名/発表者名
      Kobayashi, Makoto, Tsuboi, Akito
    • 雑誌名

      Math.Log.Q. 54, No. 6

      ページ: 625-628

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19540111
  • [雑誌論文] Models omitting given complete types2008

    • 著者名/発表者名
      A. Tsuboi
    • 雑誌名

      Notre Dame J. Formal Logic No.4

      ページ: 393-399

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19540126
  • [雑誌論文] Generalized amalgamation and n-simplicity. (English)2008

    • 著者名/発表者名
      Kim, Byunghan; Kolesnikov, Alexei S.; Tsuboi, Akito
    • 雑誌名

      Ann. Pure Appl. Logic 115, No.2

      ページ: 97-114

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19540111
  • [雑誌論文] Nonstandard models that are definable in models of Peano Arithmetic2007

    • 著者名/発表者名
      Akito Tsuboi, Kazuma Ikeda
    • 雑誌名

      Math. Log. Quart. 53

      ページ: 27-37

    • データソース
      KAKENHI-PROJECT-16540094
  • [雑誌論文] Nonstandard models that are definable in models of Peano Arithmetic2007

    • 著者名/発表者名
      Kazuma Ikeda, Akito Tsuboi
    • 雑誌名

      Mathematical Logic Quarterly 53-1

      ページ: 27-37

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16540117
  • [雑誌論文] "タイプの排除と順序型"2007

    • 著者名/発表者名
      坪井 明人(Akito Tsuboi)
    • 雑誌名

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

      ページ: 73-74

    • データソース
      KAKENHI-PROJECT-19540111
  • [雑誌論文] On model theoretic simplicity-a study on n-simplicity (in Japanese)2006

    • 著者名/発表者名
      Akito Tsuboi
    • 雑誌名

      RIMS proceedings no.1469

      ページ: 96-100

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15540104
  • [雑誌論文] PAのモデルの中で定義可能な非標準モデル2006

    • 著者名/発表者名
      池田一磨, 坪井明人
    • 雑誌名

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

      ページ: 35-45

    • データソース
      KAKENHI-PROJECT-15540104
  • [雑誌論文] 理論の単純性について--n-simplicityに関する考察--2006

    • 著者名/発表者名
      坪井明人
    • 雑誌名

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

      ページ: 96-100

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15540104
  • [雑誌論文] 理論の単純性について-n-simplicityに関する考察-2006

    • 著者名/発表者名
      坪井明人
    • 雑誌名

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

      ページ: 96-100

    • データソース
      KAKENHI-PROJECT-15540104
  • [雑誌論文] Construction of saturated quasi-minimal structure.2004

    • 著者名/発表者名
      Masanori Itai, Akito Tsuboi, Kentaro Wakai
    • 雑誌名

      The Journal of Symbolic Logic 69・1

      ページ: 9-22

    • データソース
      KAKENHI-PROJECT-15540104
  • [雑誌論文] Construction of saturated quasi-minimal structures,2004

    • 著者名/発表者名
      Masanori Itai, Kentaro Wakai, Akito Tsuboi
    • 雑誌名

      The journal of symbolic logic Volume 69, Issue 1,

      ページ: 9-22

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15540104
  • [雑誌論文] Construction of saturated quasi-minimal structures2004

    • 著者名/発表者名
      Masanori Itai, Kentaro Wakai, Akito Tsuboi
    • 雑誌名

      The journal of symbolic logic volume 69, Issue 1

      ページ: 9-22

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15540104
  • [雑誌論文] Expanding the additive reduct of a model of Peano arithmetic2003

    • 著者名/発表者名
      M.Murakami, A.Tsuboi
    • 雑誌名

      Mathematical Logic Quarterly 49・4

      ページ: 363-368

    • データソース
      KAKENHI-PROJECT-15540104
  • [雑誌論文] Implicit definability of subfields2003

    • 著者名/発表者名
      K.Fukuzaki, A.Tsuboi
    • 雑誌名

      Notre Dame Journal of Formal Logic 44・4

      ページ: 217-225

    • データソース
      KAKENHI-PROJECT-15540104
  • [雑誌論文] Locally o-minimal structures

    • 著者名/発表者名
      T.Kawakami; K.Takeuchi; H.Tanaka; A.Tsuboi
    • 雑誌名

      JMSJ

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

    • NAID

      10031177249

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22540110
  • [雑誌論文] Locally o-minimal structures

    • 著者名/発表者名
      T.Kawakami; K.Takeuchi; H.Tanaka; A.Tsuboi
    • 雑誌名

      JMSJ

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

    • NAID

      10031177249

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22540110
  • [学会発表] Coloring of Random Graphs and Instability2023

    • 著者名/発表者名
      坪井明人
    • 学会等名
      Summer School and Workshop on Model Theory
    • データソース
      KAKENHI-PROJECT-21K03336
  • [学会発表] Spectrum of finite models2023

    • 著者名/発表者名
      坪井明人
    • 学会等名
      研究集会「モデル理論とその応用」
    • データソース
      KAKENHI-PROJECT-21K03336
  • [学会発表] Ramsey’s theorem and coheir sequences2023

    • 著者名/発表者名
      坪井明人
    • 学会等名
      日本数学会年会
    • データソース
      KAKENHI-PROJECT-17K05342
  • [学会発表] Ramsey’s theorem and coheir sequences2023

    • 著者名/発表者名
      坪井明人
    • 学会等名
      日本数学会年会
    • データソース
      KAKENHI-PROJECT-21K03336
  • [学会発表] Dividing and Forking in Random Structures2023

    • 著者名/発表者名
      Akito Tsuboi
    • 学会等名
      RIMS Model Theory Workshop
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21K03336
  • [学会発表] Dividing and Forking in Random Structures2023

    • 著者名/発表者名
      坪井明人
    • 学会等名
      日本数学会年会(大阪公立大学)
    • データソース
      KAKENHI-PROJECT-21K03336
  • [学会発表] Expansions of Random Structures2023

    • 著者名/発表者名
      Akito Tsuboi
    • 学会等名
      Seoul Model Theory Meeting
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21K03336
  • [学会発表] Too many conditions make them trivial2023

    • 著者名/発表者名
      坪井明人
    • 学会等名
      Model Theory Spring workshop 2023 Fukuoka
    • データソース
      KAKENHI-PROJECT-21K03336
  • [学会発表] First course of model theory2022

    • 著者名/発表者名
      坪井明人
    • 学会等名
      数学基礎論サマースクール
    • データソース
      KAKENHI-PROJECT-17K05342
  • [学会発表] Colored Random Graphs and the Order Property2022

    • 著者名/発表者名
      Akito Tsuboi
    • 学会等名
      Model theoretic aspects of the notion of independence and dimension, RIMS Model Theory Workshop 2022
    • データソース
      KAKENHI-PROJECT-17K05342
  • [学会発表] Some comments on the difference between forking and dividing2022

    • 著者名/発表者名
      坪井明人
    • 学会等名
      日本数学会秋季総合分科会
    • データソース
      KAKENHI-PROJECT-17K05342
  • [学会発表] Some comments on the difference between forking and dividing2022

    • 著者名/発表者名
      坪井明人
    • 学会等名
      日本数学会秋季総合分科会
    • データソース
      KAKENHI-PROJECT-21K03336
  • [学会発表] Keisler’s Isomorphism Theorem, CH and Instability2021

    • 著者名/発表者名
      Akito Tsuboi
    • 学会等名
      RIMS model theory workshop
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17K05342
  • [学会発表] Torsion Free Groups and Model Completeness2021

    • 著者名/発表者名
      Akito Tsuboi
    • 学会等名
      Model Theory Summer Workshop 2021
    • データソース
      KAKENHI-PROJECT-21K03336
  • [学会発表] On coloring of Fraisse limits2020

    • 著者名/発表者名
      Akito Tsuboi
    • 学会等名
      RIMS model theory workshop
    • データソース
      KAKENHI-PROJECT-17K05342
  • [学会発表] Compactness argument for finite structures2019

    • 著者名/発表者名
      坪井明人
    • 学会等名
      研究集会「Model Theory Summer School 2019」(東海大学 山中湖)
    • データソース
      KAKENHI-PROJECT-17K05342
  • [学会発表] On the number of independent strict orders2019

    • 著者名/発表者名
      Akito Tsuboi
    • 学会等名
      Model Theory Workshop at RIMS (京都大学数理解析研究所 12月3日)
    • データソース
      KAKENHI-PROJECT-17K05342
  • [学会発表] A remark on Ehrenfeucht theories2019

    • 著者名/発表者名
      坪井明人
    • 学会等名
      日本数学会秋季総合分科会 (金沢大学 9月19日)
    • データソース
      KAKENHI-PROJECT-17K05342
  • [学会発表] Finite combinatorics and compactness2018

    • 著者名/発表者名
      坪井明人
    • 学会等名
      北陸先端科学技術大学院大学情報科学系セミナー
    • 招待講演
    • データソース
      KAKENHI-PROJECT-17K05342
  • [学会発表] A proof of Hales-Jewett theorem using a nonstandard method2018

    • 著者名/発表者名
      Akito Tsuboi
    • 学会等名
      組合せ論・モデル理論セミナー
    • 招待講演
    • データソース
      KAKENHI-PROJECT-17K05342
  • [学会発表] On the number of independent strict orders2017

    • 著者名/発表者名
      Akito Tsuboi
    • 学会等名
      日本数学会
    • 発表場所
      首都大学東京(東京都八王子市)
    • 年月日
      2017-03-24
    • データソース
      KAKENHI-PROJECT-26800077
  • [学会発表] On the notion of stability2017

    • 著者名/発表者名
      坪井明人
    • 学会等名
      モデル理論「夏の学校」研究集会
    • データソース
      KAKENHI-PROJECT-17K05342
  • [学会発表] On the number of independent strict orders2017

    • 著者名/発表者名
      坪井明人
    • 学会等名
      日本数学会
    • 発表場所
      首都大学東京(東京都八王子市南大沢1-1)
    • データソース
      KAKENHI-PROJECT-25400190
  • [学会発表] "Hales-Jewett theorem and model theory"2017

    • 著者名/発表者名
      Akito Tsuboi
    • 学会等名
      2017 RIMS Model Theory Workshop
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17K05342
  • [学会発表] "On the number of independent strict orders"2016

    • 著者名/発表者名
      Akito Tsuboi
    • 学会等名
      RIMS 研究集会
    • 発表場所
      Kyoto, RIMS (京都府左京区北白川追分町 京都大学 数理解析研究所)
    • 年月日
      2016-12-12
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-25400190
  • [学会発表] Infinite Monochromatic Subgraphs2015

    • 著者名/発表者名
      Akito Tsuboi
    • 学会等名
      2015 RIMS Model Theory Workshop
    • 発表場所
      Kyoto RIMS,京都府京都市
    • 年月日
      2015-12-15
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-25400190
  • [学会発表] Real closed field as an extension of Q2013

    • 著者名/発表者名
      坪井明人
    • 学会等名
      高知モデル理論研究集会
    • 発表場所
      高知工科大学 K203(K棟2階)
    • データソース
      KAKENHI-PROJECT-22540110
  • [学会発表] Real closed field as an extension of Q2013

    • 著者名/発表者名
      坪井明人
    • 学会等名
      高知モデル理論研究集会
    • 発表場所
      高知工科大学
    • データソース
      KAKENHI-PROJECT-23540119
  • [学会発表] Simple proof of a basic result of forking2013

    • 著者名/発表者名
      坪井明人
    • 学会等名
      Model Theoretic Aspects of the Notion of Independence and Dimension
    • 発表場所
      京都大学数理解析研究所
    • データソース
      KAKENHI-PROJECT-23540119
  • [学会発表] On Indiscernible Trees2012

    • 著者名/発表者名
      Akito Tsuboi
    • 学会等名
      American Mathematical Society, 2012 Spring Western Section Meeting
    • 発表場所
      University of Hawaii at Manoa, USA
    • 年月日
      2012-03-04
    • データソース
      KAKENHI-PROJECT-22540110
  • [学会発表] Generic Structureについて2012

    • 著者名/発表者名
      坪井明人
    • 学会等名
      モデル理論夏の勉強会 2012
    • 発表場所
      東海大学山中湖セミナーハウス
    • データソース
      KAKENHI-PROJECT-22540110
  • [学会発表] On small models2012

    • 著者名/発表者名
      坪井明人
    • 学会等名
      モデル理論夏の勉強会
    • 発表場所
      東海大学山中湖セミナーハウス
    • データソース
      KAKENHI-PROJECT-23540119
  • [学会発表] On Small Models2012

    • 著者名/発表者名
      坪井明人
    • 学会等名
      モデル理論夏の勉強会 2012
    • 発表場所
      東海大学山中湖セミナーハウス
    • データソース
      KAKENHI-PROJECT-22540110
  • [学会発表] On indiscernible trees2012

    • 著者名/発表者名
      Akito Tsuboi
    • 学会等名
      AMS Meeting
    • 発表場所
      University of Hawaii, USA(招待講演)
    • 年月日
      2012-03-04
    • データソース
      KAKENHI-PROJECT-22540110
  • [学会発表] On the Existence of Indiscernible Trees2011

    • 著者名/発表者名
      Akito Tsuboi
    • 学会等名
      Asian Logic Conference
    • 発表場所
      Victoria University, New Zealand
    • 年月日
      2011-12-20
    • データソース
      KAKENHI-PROJECT-22540110
  • [学会発表] Trees and Branching Axioms2011

    • 著者名/発表者名
      坪井明人
    • 学会等名
      RIMS研究集会「体のモデル理論とその応用」
    • 発表場所
      京都大学数理解析研究所,京都市
    • 年月日
      2011-11-29
    • データソース
      KAKENHI-PROJECT-22540110
  • [学会発表] Trees and Branching Axioms2011

    • 著者名/発表者名
      坪井明人
    • 学会等名
      体のモデル理論とその応用,Model Theory of Fields and its Applications, RIMS研究集会
    • 発表場所
      京都大学数理解析研究所
    • データソース
      KAKENHI-PROJECT-22540110
  • [学会発表] モデル理論入門12011

    • 著者名/発表者名
      坪井明人
    • 学会等名
      数学基礎論サマースクール
    • 発表場所
      神戸大学大学院工学研究科5W棟5W-301 (神戸市灘区六甲台町1-1)
    • データソース
      KAKENHI-PROJECT-22540110
  • [学会発表] モデル理論入門22011

    • 著者名/発表者名
      坪井明人
    • 学会等名
      数学基礎論サマースクール
    • 発表場所
      神戸大学大学院工学研究科5W棟5W-301 (神戸市灘区六甲台町1-1)
    • データソース
      KAKENHI-PROJECT-22540110
  • [学会発表] On the existence of indiscernible trees2011

    • 著者名/発表者名
      Akito Tsuboi
    • 学会等名
      Asian Logic Conference
    • 発表場所
      Victoria University, NZ(招待講演)
    • 年月日
      2011-12-20
    • データソース
      KAKENHI-PROJECT-22540110
  • [学会発表] On coheir sequences2010

    • 著者名/発表者名
      Akito Tsuboi
    • 学会等名
      Model Theory 2010 Kagoshima
    • 発表場所
      鹿児島県霧島ホテル旅行人出荘
    • 年月日
      2010-03-03
    • データソース
      KAKENHI-PROJECT-19540111
  • [学会発表] On local O-minimality2010

    • 著者名/発表者名
      坪井明人
    • 学会等名
      モデル理論夏の学校2010
    • 発表場所
      聖徳大学 10号館
    • データソース
      KAKENHI-PROJECT-22540110
  • [学会発表] Hrushovski's Construction2010

    • 著者名/発表者名
      Akito Tsuboi
    • 学会等名
      2010 Model Theory School in Seoul
    • 発表場所
      Yonsei University, Korea
    • 年月日
      2010-05-16
    • データソース
      KAKENHI-PROJECT-22540110
  • [学会発表] On coheir extentions2010

    • 著者名/発表者名
      A. Tsuboi
    • 学会等名
      Model Theory Kirishima 2010, 京都大学RIMS合宿型セミナー
    • 発表場所
      旅行人山荘(霧島)
    • 年月日
      2010-03-03
    • データソース
      KAKENHI-PROJECT-19540126
  • [学会発表] Independent partitions and indiscernibility2010

    • 著者名/発表者名
      Akito Tsuboi
    • 学会等名
      RIMS Model Theory Meeting
    • 発表場所
      京都大学数理解析研究所,京都市
    • 年月日
      2010-11-29
    • データソース
      KAKENHI-PROJECT-22540110
  • [学会発表] On coheir extentions2010

    • 著者名/発表者名
      Akito Tsuboi
    • 学会等名
      Model Theory Kirishima 2010, New developments of "independence" in model theory
    • 発表場所
      Ryokojin-sanso, Kagoshima, Japan
    • 年月日
      2010-03-03
    • データソース
      KAKENHI-PROJECT-19540111
  • [学会発表] On Coheir Sequences-Sequence, Tree and Forest-2010

    • 著者名/発表者名
      Akito Tsuboi
    • 学会等名
      Seoul Model Theory Meeting
    • 発表場所
      Yonsei University, Korea(招待講演)
    • 年月日
      2010-05-22
    • データソース
      KAKENHI-PROJECT-22540110
  • [学会発表] On Coheir Sequences2010

    • 著者名/発表者名
      Akito Tsuboi
    • 学会等名
      Model Theory Conference in Seoul
    • 発表場所
      Yonsei University, Korea
    • 年月日
      2010-05-22
    • データソース
      KAKENHI-PROJECT-22540110
  • [学会発表] 一階様相μ計算とその周辺 (2)2009

    • 著者名/発表者名
      坪井明人
    • 学会等名
      「モデル理論とその周辺」研究集会(宮武徹先生追悼研究集会)
    • 発表場所
      神戸大学自然科学総合研究棟3号館421プレゼンテーション室 (4階東側)
    • 年月日
      2009-11-29
    • データソース
      KAKENHI-PROJECT-19540111
  • [学会発表] On Average Types2009

    • 著者名/発表者名
      坪井明人
    • 学会等名
      2009年度モデル理論サマースクール
    • 発表場所
      和歌山市民会館, 4階第二練習室
    • 年月日
      2009-08-27
    • データソース
      KAKENHI-PROJECT-19540111
  • [学会発表] 有限個の可算モデルを持つ理論I,II2009

    • 著者名/発表者名
      坪井明人
    • 学会等名
      鹿児島モデル理論研究集会
    • 発表場所
      鹿児島国際大学728教室 (7号館2階)
    • データソース
      KAKENHI-PROJECT-19540111
  • [学会発表] On Average Types2009

    • 著者名/発表者名
      坪井明人
    • 学会等名
      009年度モデル理論サマースクール
    • 発表場所
      和歌山市民会館
    • 年月日
      2009-08-27
    • データソース
      KAKENHI-PROJECT-19540126
  • [学会発表] 不安定性と自己同型写像のクラスについて2009

    • 著者名/発表者名
      桔梗宏孝, 坪井明人
    • 学会等名
      2009日本数学会秋季総合分科会
    • 発表場所
      大阪大学
    • 年月日
      2009-09-27
    • データソース
      KAKENHI-PROJECT-19540126
  • [学会発表] Algebraic types and the number of countable models2008

    • 著者名/発表者名
      坪井明人
    • 学会等名
      RIMS研究集会
    • 発表場所
      京都大学数理解析研究
    • 年月日
      2008-11-11
    • データソース
      KAKENHI-PROJECT-19540111
  • [学会発表] An extension of Steinhorn's result on omitting types theorem2007

    • 著者名/発表者名
      坪井明人
    • 学会等名
      モデル理論夏の勉強会2007
    • 発表場所
      筑波大学総合研究B棟1階0110室
    • 年月日
      2007-08-07
    • データソース
      KAKENHI-PROJECT-19540111
  • [学会発表] Independence in generic structures2007

    • 著者名/発表者名
      坪井明人
    • 学会等名
      RIMS研究集会, モデル理論の手法による無限構造の構成法
    • 発表場所
      京都大学数理解析研究所
    • データソース
      KAKENHI-PROJECT-19540111
  • [学会発表] An extension of Steinhorn's result on omitting types theorem2007

    • 著者名/発表者名
      Akito Tsuboi
    • 学会等名
      モデル理論夏の勉強会2007
    • 発表場所
      筑波大学総合B棟1階会議室
    • 年月日
      2007-08-07
    • データソース
      KAKENHI-PROJECT-19540111
  • [学会発表] "Simple proof of a basic result of forking

    • 著者名/発表者名
      Akito Tsuboi
    • 学会等名
      2013 RIMS Model Theory Workshop
    • 発表場所
      Research Institute for Mathematical Sciences, Kyoto University, Kyoto
    • データソース
      KAKENHI-PROJECT-25400190
  • [学会発表] Infinitary Method for Finite Structures

    • 著者名/発表者名
      Akito TSUBOI
    • 学会等名
      Classification Theory Workshop
    • 発表場所
      Daejon, Korea
    • 年月日
      2014-08-06 – 2014-08-09
    • 招待講演
    • データソース
      KAKENHI-PROJECT-25400190
  • [学会発表] On small models

    • 著者名/発表者名
      坪井明人
    • 学会等名
      「モデル理論夏の学校」研究集会
    • 発表場所
      東海大学山中湖セミナーハウス
    • データソース
      KAKENHI-PROJECT-22540110
  • [学会発表] A Model Theoretic Construction of Real Closed Fields

    • 著者名/発表者名
      Akito Tsuboi
    • 学会等名
      The 13th Asian Logic Conference
    • 発表場所
      Guangzhou, China
    • 招待講演
    • データソース
      KAKENHI-PROJECT-25400190
  • [学会発表] On Dividing and Forking

    • 著者名/発表者名
      坪井明人
    • 学会等名
      「モデル理論夏の学校」研究集会
    • 発表場所
      東海大学高輪キャンパス,東京都港区高輪
    • データソース
      KAKENHI-PROJECT-25400190
  • [学会発表] Real closed field as an extension of Q

    • 著者名/発表者名
      坪井明人
    • 学会等名
      高知モデル理論研究集会
    • 発表場所
      高知工科大学
    • データソース
      KAKENHI-PROJECT-22540110
  • 1.  塩谷 真弘 (30251028)
    共同の研究課題数: 13件
    共同の研究成果数: 1件
  • 2.  桔梗 宏孝 (80204824)
    共同の研究課題数: 9件
    共同の研究成果数: 6件
  • 3.  本橋 信義 (70015874)
    共同の研究課題数: 7件
    共同の研究成果数: 0件
  • 4.  池田 宏一郎 (60332029)
    共同の研究課題数: 7件
    共同の研究成果数: 5件
  • 5.  塚田 信高 (50015559)
    共同の研究課題数: 6件
    共同の研究成果数: 0件
  • 6.  板井 昌典 (80266361)
    共同の研究課題数: 4件
    共同の研究成果数: 3件
  • 7.  江田 勝哉 (90015826)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 8.  西村 泰一 (70135614)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 9.  阿部 吉弘 (10159452)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 10.  松原 洋 (30242788)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 11.  竹内 耕太 (50722485)
    共同の研究課題数: 3件
    共同の研究成果数: 3件
  • 12.  竹内 光弘 (00015950)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 13.  坂井 公 (20241797)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 14.  山形 邦夫 (60015849)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 15.  阿部 英一 (30015507)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 16.  酒井 克郎 (50036084)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 17.  池田 一磨 (10383449)
    共同の研究課題数: 1件
    共同の研究成果数: 2件
  • 18.  河相 安彦 (50221198)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 19.  木本 統 (10267106)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 20.  市川 哲雄 (90193432)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 21.  木本 克彦 (70205011)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 22.  鈴木 哲也 (60179231)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 23.  洪 光 (70363083)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 24.  濱田 泰三 (50034244)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 25.  村田 比呂司 (40229993)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 26.  水口 俊介 (30219688)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 27.  米山 喜一 (50230842)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 28.  岡崎 定司 (80169094)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 29.  佐藤 雅彦 (20027387)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 30.  上江洲 忠弘 (60015550)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 31.  八杉 満利子 (90022277)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 32.  渡邊 純三 (40022727)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 33.  増岡 彰 (50229366)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 34.  天野 勝利 (40400642)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 35.  森田 純 (20166416)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 36.  太刀川 弘幸 (20015473)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 37.  三河 寛 (10219602)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 38.  川村 一宏 (40204771)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 39.  南 就将 (10183964)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 40.  佐々木 健昭 (80087436)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 41.  壇 和日子 (40251029)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 42.  近藤 尚知 (70343150)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 43.  坪井 明人 (00241646)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 44.  西 恭宏 (10189251)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 45.  高橋 元男 (30015896)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 46.  遊上 毅 (20015879)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 47.  安本 雅洋 (10144114)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 48.  柳川 信
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 49.  依田 大樹
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 50.  岡部 峻典
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 51.  BALDWIN John T
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 52.  WAGNER Frank O.
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 53.  CHERNIKOV Artem
    共同の研究課題数: 1件
    共同の研究成果数: 0件

URL: 

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

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?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi