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

Takeuchi Kota  竹内 耕太

ORCIDConnect your ORCID iD *help
… 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
  • Research Projects

    (5 results)
  • Research Products

    (45 results)
  • Co-Researchers

    (6 People)
  •  順序極小理論とペアノ算術のモデル理論の交差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

URL: 

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

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi