Kurahashi Taishi 倉橋太志

Researcher Number	10738446
Other IDs
Affiliation *help	2016 – 2018 : 木更津工業高等専門学校, 基礎学系, 講師 2014 – 2016 : 木更津工業高等専門学校, その他部局等, 講師
Review Section/Research Field	Principal Investigator Foundations of mathematics/Applied mathematics
Keywords	Principal Investigator 数学基礎論 / 形式的算術 / 不完全性定理 / 数理論理学 / 証明可能性 / 超準モデル / 証明可能性述語 / 算術の超準モデル / 可証性述語

Research Projects
(2results)
Research Products
(18results)

超準モデルと理論における証明構造の分析Principal InvestigatorOngoing
- Principal Investigator
  
  倉橋太志
- Project Period (FY)
  2016 – 2018
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Kisarazu National College of Technology
Research of formal provability by means of the analysis of provability predicatesPrincipal Investigator
- Principal Investigator
  
  Kurahashi Taishi
- Project Period (FY)
  2014 – 2015
- Research Category
  
  Grant-in-Aid for Research Activity start-up
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Kisarazu National College of Technology

All 2017 2016 2015 2014

All Journal Article Presentation Book

[Book] 数学における証明と真理-様相論理と数学基礎論2016
- Author(s)
  佐野勝彦・倉橋太志・薄葉季路・黒川英徳・菊池誠
- Total Pages
  288
- Publisher
  共立出版
- Data Source
  KAKENHI-PROJECT-26887045
[Journal Article] Universal Rosser predicates2017
- Author(s)
  Makoto Kikuchi and Taishi Kurahashi
- Journal Title
  
  The Journal of Symbolic Logic
  
  Volume : 82 Pages : 292-302
- DOI
  10.1017/jsl.2016.19
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-16K17653
[Journal Article] Henkin sentences and local reflection principles for Rosser provability2016
- Author(s)
  Taishi Kurahashi
- Journal Title
  
  Annals of Pure and Applied Logic
  
  Volume : １６７ Pages : 73-94
- DOI
  10.1016/j.apal.2015.10.002
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26887045
[Journal Article] Liar-type paradoxes and the incompleteness phenomena2016
- Author(s)
  Makoto Kikuchi and Taishi Kurahashi
- Journal Title
  
  Journal of Philosophical Logic
  
  Volume : 45 Pages : 381-398
- DOI
  10.1007/s10992-015-9378-2
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-16K17653, KAKENHI-PROJECT-26887045
[Journal Article] Universal Rosser predicates2016
- Author(s)
  Makoto Kikuchi and Taishi Kurahashi
- Journal Title
  
  The Journal of Symbolic Logic
  
  Volume : （印刷中)
- Acknowledgement Compliant / Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26887045
[Journal Article] Illusory models of Peano arithmetic2016
- Author(s)
  Makoto Kikuchi and Taishi Kurahashi
- Journal Title
  
  The Journal of Symbolic Logic
  
  Volume : 81 Pages : 1163-1175
- DOI
  10.1017/jsl.2015.52
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-16K17653
[Journal Article] Illusory models of Peano arithmetic2016
- Author(s)
  Makoto Kikuchi and Taishi Kurahashi
- Journal Title
  
  The Journal of Symbolic Logic
  
  Volume : （印刷中)
- Acknowledgement Compliant / Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26887045
[Journal Article] Rosser-type undecidable sentences based on Yablo’s paradox2014
- Author(s)
  Taishi Kurahashi
- Journal Title
  
  Journal of philosophical logic
  
  Volume : (掲載確定) Pages : 999-1017
- DOI
  10.1007/s10992-013-9309-z
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-12J00654, KAKENHI-PROJECT-26887045
[Presentation] LP の算術的完全性定理について2017
- Author(s)
  岩田荘平・倉橋太志
- Organizer
  日本数学会 2017 年度年会
- Place of Presentation
  首都大学東京(東京都八王子市)
- Year and Date
  2017-03-25
- Data Source
  KAKENHI-PROJECT-16K17653
[Presentation] PA を含む理論の部分的な選言特性と存在特性2017
- Author(s)
  倉橋太志
- Organizer
  日本数学会 2017 年度年会
- Place of Presentation
  首都大学東京(東京都八王子市)
- Year and Date
  2017-03-25
- Data Source
  KAKENHI-PROJECT-16K17653
[Presentation] 理論の部分保存性について2016
- Author(s)
  倉橋太志
- Organizer
  第3回山陰基礎論・解析学研究集会
- Place of Presentation
  米子・皆生
- Year and Date
  2016-01-30
- Data Source
  KAKENHI-PROJECT-26887045
[Presentation] 不完全性定理と証明可能性述語について2016
- Author(s)
  倉橋太志
- Organizer
  日本数学会 2016 年度秋季総合分科会（特別講演）
- Place of Presentation
  関西大学(大阪府吹田市)
- Year and Date
  2016-09-17
- Invited
- Data Source
  KAKENHI-PROJECT-16K17653
[Presentation] 証明可能性論理2015
- Author(s)
  倉橋太志
- Organizer
  数学基礎論サマースクール2015
- Place of Presentation
  神戸大学
- Year and Date
  2015-08-18
- Invited
- Data Source
  KAKENHI-PROJECT-26887045
[Presentation] Heterodox models of Peano arithmetic2015
- Author(s)
  菊池誠，倉橋太志
- Organizer
  15th Congress of Logic, Methodology and Philosophy of Science
- Place of Presentation
  ヘルシンキ大学（フィンランド）
- Year and Date
  2015-08-05
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26887045
[Presentation] Rosser-type Henkin sentences and local reflection principles2015
- Author(s)
  倉橋太志
- Organizer
  Logic Colloquium 2015
- Place of Presentation
  ヘルシンキ大学（フィンランド）
- Year and Date
  2015-08-07
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26887045
[Presentation] Σn 定義な算術の不完全性定理2015
- Author(s)
  倉橋太志・菊池誠
- Organizer
  日本数学会2015 年度年会
- Place of Presentation
  明治大学
- Year and Date
  2015-03-22
- Data Source
  KAKENHI-PROJECT-26887045
[Presentation] 0 = 1 の証明をもつ超準モデル2015
- Author(s)
  倉橋太志
- Organizer
  第2 回山陰基礎論・解析学研究集会
- Place of Presentation
  米子ファミリープラザ
- Year and Date
  2015-01-24
- Data Source
  KAKENHI-PROJECT-26887045
[Presentation] 算術の超準モデルにおける定理と証明について2014
- Author(s)
  菊池誠・倉橋太志
- Organizer
  日本数学会2014 年秋季総合分科会
- Place of Presentation
  広島大学
- Year and Date
  2014-09-27
- Data Source
  KAKENHI-PROJECT-26887045

Kurahashi Taishi 倉橋 太志

Research Projects

Research Products

超準モデルと理論における証明構造の分析Principal InvestigatorOngoing

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research of formal provability by means of the analysis of provability predicatesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] 数学における証明と真理-様相論理と数学基礎論2016

Author(s)

Total Pages

Publisher

Data Source

[Journal Article] Universal Rosser predicates2017

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Henkin sentences and local reflection principles for Rosser provability2016

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Liar-type paradoxes and the incompleteness phenomena2016

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Universal Rosser predicates2016

Author(s)

Journal Title

Data Source

[Journal Article] Illusory models of Peano arithmetic2016

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Illusory models of Peano arithmetic2016

Author(s)

Journal Title

Data Source

[Journal Article] Rosser-type undecidable sentences based on Yablo’s paradox2014

Author(s)

Journal Title

DOI

Data Source

[Presentation] LP の算術的完全性定理について2017

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] PA を含む理論の部分的な選言特性と存在特性2017

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] 理論の部分保存性について2016

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] 不完全性定理と証明可能性述語について2016

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] 証明可能性論理2015

Author(s)

Organizer

Kurahashi Taishi 倉橋太志