坪井明人 TSUBOI Akito

研究者番号	30180045
その他のID
外部サイト
所属 (現在)	2024年度: 筑波大学, 数理物質系(名誉教授), 名誉教授
所属 (過去の研究課題情報に基づく) *注記	2021年度 – 2022年度: 筑波大学, 数理物質系(名誉教授), 名誉教授 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群 / 被覆 / カルタン行列隠す

無限飽和構造の有限モデル理論への応用研究代表者
- 研究代表者
  
  坪井明人
- 研究期間 (年度)
  2021 – 2024
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分12030:数学基礎関連
- 研究機関
  筑波大学
モデル理論におけるShelah予想とその解決に向けた研究研究代表者
- 研究代表者
  
  坪井明人
- 研究期間 (年度)
  2017 – 2022
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学基礎・応用数学
- 研究機関
  筑波大学
モデル理論における新たな構成法の研究
- 研究代表者
  
  池田宏一郎
- 研究期間 (年度)
  2014 – 2016
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学基礎・応用数学
- 研究機関
  法政大学
有限組み合わせ論を用いた安定性理論の新展開
- 研究代表者
  
  竹内耕太
- 研究期間 (年度)
  2014 – 2017
- 研究種目
  
  若手研究(B)
- 研究分野
  
  数学基礎・応用数学
- 研究機関
  筑波大学
タイプ排除定理と無限組み合わせ論の研究研究代表者
- 研究代表者
  
  坪井明人
- 研究期間 (年度)
  2013 – 2016
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学基礎・応用数学
- 研究機関
  筑波大学
モデル理論におけるジェネリック構造の研究
- 研究代表者
  
  桔梗宏孝
- 研究期間 (年度)
  2013 – 2015
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学基礎・応用数学
- 研究機関
  神戸大学
義歯安定剤利用ガイドライン構築に関する基盤研究：マルチセンター前向き臨床研究
- 研究代表者
  
  河相安彦
- 研究期間 (年度)
  2012 – 2014
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  補綴系歯学
- 研究機関
  日本大学
高次Ｃｈａｎｇ予想と飽和イデアルのモデルの構成
- 研究代表者
  
  塩谷真弘
- 研究期間 (年度)
  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)
- 研究分野
  
  代数学・幾何学
- 研究機関
  筑波大学

[図書] 集合入門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
[雑誌論文] 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
[学会発表] Ramsey’s theorem and coheir sequences2023
- 著者名/発表者名
  坪井明人
- 学会等名
  日本数学会年会
- データソース
  KAKENHI-PROJECT-17K05342
[学会発表] Ramsey’s theorem and coheir sequences2023
- 著者名/発表者名
  坪井明人
- 学会等名
  日本数学会年会
- データソース
  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件

坪井 明人 TSUBOI Akito

研究課題

研究成果

共同研究者

無限飽和構造の有限モデル理論への応用研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

モデル理論におけるShelah予想とその解決に向けた研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

タイプ排除定理と無限組み合わせ論の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

モデル理論におけるタイプ排除定理とその応用研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

1階言語で定義された算術理論のモデルの研究とその応用研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

坪井明人 TSUBOI Akito