Takeuchi Kota 竹内耕太

… Alternative Names

竹内耕太タケウチコウタ

TAKEUCHI Kota 竹内耕太

Less

Researcher Number	50722485
Other IDs
Affiliation (Current)	2025: 筑波大学, 数理物質系, 助教
Affiliation (based on the past Project Information) *help	2025: 筑波大学, 数理物質系, 助教 2019 – 2023: 筑波大学, 数理物質系, 助教 2014 – 2017: 筑波大学, 数理物質系, 助教 2016: 筑波大学, 数理物質系数学域, 助教
Review Section/Research Field	Principal Investigator Basic Section 12030:Basic mathematics-related / Basic Section 60010:Theory of informatics-related / Foundations of mathematics/Applied mathematics Except Principal Investigator Basic Section 12030:Basic mathematics-related / Foundations of mathematics/Applied mathematics
Keywords	Principal Investigator Ramsey class / Ramsey property / NIP / モデル理論 / 超平面 / VC次元 / VC密度 / PAC学習 / random graph / independent property … More / metric structures / Metric structure / Indivisible / structural Ramsey theory / continuous logic / dividing line / one variable reduction / PACn-learning / VCn-dimension / n-dependence / monochromatic subgraph / Random graph / n-dependent property / VC-dimension / indiscernible / 2-order property / n-dependent … More Except Principal Investigator モデル理論 / 数理論理学 / 一様列 / 有限数学 / 彩色 / ランダムグラフ / ランダム構造 / 無限組み合わせ論 / Ramsey / Erdos-Rado / 一様樹形図 / 安定性理論 / グラフ / モデル完全性 / 意味論 / 平面グラフ / モデル随伴理論 Less

順序極小理論とペアノ算術のモデル理論の交差Principal Investigator
- Principal Investigator
  
  竹内耕太
- Project Period (FY)
  2024 – 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 theory
- 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
超平面を用いたPAC学習理論へのモデル論的アプローチPrincipal Investigator
- Principal Investigator
  
  竹内耕太
- Project Period (FY)
  2019 – 2024
- Research Category
  
  Grant-in-Aid for Early-Career Scientists
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  University of Tsukuba
A development of stability theory with finite combinatoricsPrincipal Investigator
- 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 Combinatrics
- 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

All 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 Other

All Journal Article Presentation

[Journal Article] On indivisible structures2023
- Author(s)
  Kota Takeuchi
- Journal Title
  
  RIMS Kokyuroku
  
  Volume: 2249 Pages: 1-6
- Open Access
- Data Source
  KAKENHI-PROJECT-19K20209
[Journal Article] On model companions of some classes of groups2022
- Author(s)
  Kota Takeuchi
- Journal Title
  
  RIMS Kokyuroku
  
  Volume: 2218 Pages: 79-84
- Open Access
- Data Source
  KAKENHI-PROJECT-19K20209
[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] Automorphisms on graphs2021
- Author(s)
  Kota Takeuchi
- Journal Title
  
  RIMS Kokyuroku
  
  Volume: 2199
- NAID
  120007170992
- Open Access
- Data Source
  KAKENHI-PROJECT-19K20209
[Journal Article] On VC2 dimension and learnability2020
- Author(s)
  Kota Takeuchi
- Journal Title
  
  RIMS Kokyuroku
  
  Volume: 2170
- Data Source
  KAKENHI-PROJECT-19K20209
[Journal Article] An approximation of Keisler measure by using Morley sequences2019
- Author(s)
  Kota Takeuchi
- Journal Title
  
  RIMS Kokyuroku
  
  Volume: 2119 Pages: 43-47
- Data Source
  KAKENHI-PROJECT-19K20209
[Journal Article] On the speed of hereditary properties of graphs2018
- Author(s)
  Kota Takeuchi
- Journal Title
  
  RIMS Kokyuroku
  
  Volume: 印刷中
- Open Access
- Data Source
  KAKENHI-PROJECT-26800077
[Journal Article] On n-dependence2017
- Author(s)
  Artem Chernikov, Daniel Palacin and Kota Takeuchi
- Journal Title
  
  Notre Dame Journal of Formal Logic
  
  Volume: 印刷中
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26800077
[Journal Article] Properties Characterized by generalized indiscernible2017
- Author(s)
  Kota Takeuchi
- Journal Title
  
  RIMS Kokyuroku
  
  Volume: 印刷中
- Open Access
- Data Source
  KAKENHI-PROJECT-26800077
[Journal Article] On the infinite Ramsey property for random graph2017
- Author(s)
  Kota Takeuchi
- Journal Title
  
  RIMS Kokyuroku
  
  Volume: 印刷中
- Open Access
- Data Source
  KAKENHI-PROJECT-26800077
[Journal Article] The partite construction with forbidden structures2016
- Author(s)
  Kota Takeuchi
- Journal Title
  
  RIMS Kokyuroku
  
  Volume: 印刷中
- 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] Higher dimensional PACn-learning2015
- Author(s)
  Munehiro Kobayashi, Takayuki Kuriyama and Kota Takeuchi
- Journal Title
  
  Congressus Numerantium
  
  Volume: Vol.223 Pages: 227-236
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26800077
[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] On the PACn-learning2015
- Author(s)
  Takayuki Kuriyama and Kota Takeuchi
- Journal Title
  
  RIMS Kokyuroku
  
  Volume: 1938 Pages: 54-58
- Data Source
  KAKENHI-PROJECT-26800077
[Presentation] Single variable witnesses for unstable properties2023
- Author(s)
  Kota Takeuchi
- Organizer
  Model Theory Summer Workshop 2023
- Data Source
  KAKENHI-PROJECT-19K20209
[Presentation] Coloring and the number of independent orders2023
- Author(s)
  Kota Takeuchi
- Organizer
  Model Theory Spring Workshop 2023
- Data Source
  KAKENHI-PROJECT-19K20209
[Presentation] Some remarks on the local o-minimality2023
- Author(s)
  Kota Takeuchi
- Organizer
  Tokyo Model Theory Seminar
- Data Source
  KAKENHI-PROJECT-19K20209
[Presentation] Single variable witnesses and Ramsey Property2023
- Author(s)
  Kota Takeuchi
- Organizer
  RIMS Model Theory Workshop 2023
- Data Source
  KAKENHI-PROJECT-19K20209
[Presentation] Subadditivity of model-theoretic patterns2022
- Author(s)
  Kota Takeuchi
- Organizer
  Tokyo Model Theory Seminar
- Data Source
  KAKENHI-PROJECT-19K20209
[Presentation] On indivisible structures2022
- Author(s)
  Kota Takeuchi
- Organizer
  RIMS Model Theory Workshop
- Data Source
  KAKENHI-PROJECT-19K20209
[Presentation] Automorphisms on graphs2021
- Author(s)
  Kota Takeuchi
- Organizer
  RIMS workshop
- Data Source
  KAKENHI-PROJECT-19K20209
[Presentation] Amalgamation properties of some classes of groups2021
- Author(s)
  Kota Takeuchi
- Organizer
  Model theory summer workshop
- Data Source
  KAKENHI-PROJECT-19K20209
[Presentation] On model companions of some classes of groups2021
- Author(s)
  Kota Takeuchi
- Organizer
  RIMS workshop
- Data Source
  KAKENHI-PROJECT-19K20209
[Presentation] A remark on structural Ramsey properties2020
- Author(s)
  Kota Takeuchi
- Organizer
  RIMS
- Data Source
  KAKENHI-PROJECT-19K20209
[Presentation] On isomorphic submodels of arithmetic2019
- Author(s)
  Kota Takeuchi
- Organizer
  Model theory summer workshop
- Data Source
  KAKENHI-PROJECT-19K20209
[Presentation] On VC2-dimension and learnability2019
- Author(s)
  Kota Takeuchi
- Organizer
  RIMS model theory workshop
- Data Source
  KAKENHI-PROJECT-19K20209
[Presentation] On 2-order property2017
- Author(s)
  Kota Takeuchi
- Organizer
  Asian Logic Conference
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26800077
[Presentation] Recent interactions between model theory and finite combinatorics2017
- Author(s)
  Kota Takeuchi
- Organizer
  日本数学会特別講演
- Invited
- Data Source
  KAKENHI-PROJECT-26800077
[Presentation] A simple proof of Terry's result on hereditary L-property2017
- Author(s)
  Kota Takeuchi
- Organizer
  Kagoshima Model Theory Workshop
- Place of Presentation
  鹿児島国際大学（鹿児島県鹿児島市）
- Year and Date
  2017-03-09
- Data Source
  KAKENHI-PROJECT-26800077
[Presentation] On the speed of hereditary properties of graphs2017
- Author(s)
  Kota Takeuchi
- Organizer
  RIMS Workshop on Model Theory
- Data Source
  KAKENHI-PROJECT-26800077
[Presentation] Ramsey property and 2-order property2017
- Author(s)
  Kota Takeuchi
- Organizer
  Caltech-UCLA logic seminar
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26800077
[Presentation] On the infinite Ramsey property for random graph2016
- Author(s)
  Kota Takeuchi
- Organizer
  RIMS workshop
- Place of Presentation
  京都大学数理解析研究所（京都府京都市）
- Year and Date
  2016-12-12
- Data Source
  KAKENHI-PROJECT-26800077
[Presentation] Properties Characterized by generalized indiscernible2016
- Author(s)
  Kota Takeuchi
- Organizer
  RIMS workshop
- Place of Presentation
  京都大学数理解析研究所（京都府京都市）
- Year and Date
  2016-09-26
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26800077
[Presentation] The partite construction with forbidden structures2015
- Author(s)
  Kota Takeuchi
- Organizer
  RIMS workshop
- Place of Presentation
  京都大学数理解析研究所（京都府京都市）
- Year and Date
  2015-12-14
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26800077
[Presentation] Ramsey property of free amalgamation classes2015
- Author(s)
  Kota Takeuchi
- Organizer
  日本数学会
- Place of Presentation
  京都産業大学（京都府京都市）
- Year and Date
  2015-09-14
- Data Source
  KAKENHI-PROJECT-26800077
[Presentation] Ramsey property of the Random graph2015
- Author(s)
  Kota Takeuchi
- Organizer
  モデル理論夏の学校2015
- Place of Presentation
  法政大学（東京都千代田区）
- Year and Date
  2015-08-22
- Data Source
  KAKENHI-PROJECT-26800077
[Presentation] Model theory and finite combinatorics2014
- Author(s)
  Kota Takeuchi
- Organizer
  東北大学純粋・応用数学研究センター組み合わせ論セミナー
- Place of Presentation
  東北大学
- Year and Date
  2014-06-06
- Data Source
  KAKENHI-PROJECT-26800077
[Presentation] On the existence of epsilon-nets
- Author(s)
  Takayuki Kuriyama and Kota Takeuchi
- Organizer
  RIMS meeting
- Place of Presentation
  京都大学
- Year and Date
  2014-11-25 – 2014-11-27
- Data Source
  KAKENHI-PROJECT-26800077
[Presentation] Generalized VC-dimension and Zarankiewicz number
- Author(s)
  Kota Takeuchi
- Organizer
  モデル理論夏の学校
- Place of Presentation
  筑波大学
- Year and Date
  2014-09-12 – 2014-09-14
- Data Source
  KAKENHI-PROJECT-26800077
[Presentation] n-dependent theories
- Author(s)
  Kota Takeuchi
- Organizer
  日本数学会
- Place of Presentation
  明治大学
- Year and Date
  2015-03-21 – 2015-03-24
- Data Source
  KAKENHI-PROJECT-26800077
[Presentation] Model theory, graph theory and computational learning theory
- Author(s)
  Kota Takeuchi
- Organizer
  数学基礎論若手の会
- Place of Presentation
  鳥取市サイクリングターミナル砂丘の家
- Year and Date
  2014-11-18 – 2014-11-20
- Data Source
  KAKENHI-PROJECT-26800077
[Presentation] VC-dimension and PAC-learnability for higher dimensional spaces
- Author(s)
  Munehiro Kobayashi, Takayuki Kuriyama and Kota Takeuchi
- Organizer
  日本数学会
- Place of Presentation
  明治大学
- Year and Date
  2015-03-21 – 2015-03-24
- Data Source
  KAKENHI-PROJECT-26800077
[Presentation] Higher dimensional PAC-learning and VC-dimension
- Author(s)
  Munehiro Kobayashi, Takayuki Kuriyama and Kota Takeuchi
- Organizer
  Forty-Sixth Southeastern International Conference on Combinatorics, Graph Theory, and Computing
- Place of Presentation
  Florida Atlantic University, USA
- Year and Date
  2015-03-02 – 2015-03-06
- Data Source
  KAKENHI-PROJECT-26800077
[Presentation] Generalized VC dimension and Sauer lemma for classes of subsets of product sets
- Author(s)
  Kota Takeuchi
- Organizer
  The Japanese Conference on Combinatorics and its Applications
- Place of Presentation
  文部科学省研究交流センター(つくば市)
- Year and Date
  2014-08-25 – 2014-08-29
- Data Source
  KAKENHI-PROJECT-26800077

1. TSUBOI Akito (30180045)

# of Collaborated Projects: 3 results

# of Collaborated Products: 2 results
2. 塩谷真弘 (30251028)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
3. YANAGAWA Makoto

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. YODA Hiroki

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. OKABE Shunsuke

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. CHERNIKOV Artem

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results

Takeuchi Kota 竹内 耕太

竹内 耕太 タケウチ コウタ

TAKEUCHI Kota 竹内 耕太

Research Projects

Research Products

Co-Researchers

順序極小理論とペアノ算術のモデル理論の交差Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Application of saturated structures to the study of finite model theory

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

超平面を用いたPAC学習理論へのモデル論的アプローチPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

A development of stability theory with finite combinatoricsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Omitting Types Theorem and Infinite Combinatrics

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] On indivisible structures2023

Author(s)

Journal Title

Data Source

[Journal Article] On model companions of some classes of groups2022

Author(s)

Journal Title

Data Source

[Journal Article] On the number of independent orders2021

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Automorphisms on graphs2021

Author(s)

Journal Title

NAID

Data Source

[Journal Article] On VC2 dimension and learnability2020

Author(s)

Journal Title

Data Source

[Journal Article] An approximation of Keisler measure by using Morley sequences2019

Author(s)

Journal Title

Data Source

[Journal Article] On the speed of hereditary properties of graphs2018

Author(s)

Journal Title

Data Source

[Journal Article] On n-dependence2017

Author(s)

Journal Title

Data Source

[Journal Article] Properties Characterized by generalized indiscernible2017

Author(s)

Journal Title

Data Source

[Journal Article] On the infinite Ramsey property for random graph2017

Author(s)

Journal Title

Data Source

[Journal Article] The partite construction with forbidden structures2016

Author(s)

Takeuchi Kota 竹内耕太

竹内耕太タケウチコウタ

TAKEUCHI Kota 竹内耕太