TSUBOI Akito 坪井明人

… 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

The study of infinite structures described as the limit of classes of finite structuresPrincipal 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

[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

TSUBOI Akito 坪井 明人

坪井 明人 ツボイ アキト

Research Projects

Research Products

Co-Researchers

The study of infinite structures described as the limit of classes of finite structuresPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Application of saturated structures to the study of finite model theoryPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Research to elucidate Shelah's conjecture and its related branches in model theoryPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Omitting Types Theorem and Infinite CombinatricsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Omitting types theorem and its applicationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Study of first order model theory and its applicationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

TSUBOI Akito 坪井明人

坪井明人ツボイアキト