A note on the sequential version of Π2 1 statements

Makoto Fujiwara, Keita Yokoyama

研究成果: Conference contribution

5 被引用数 (Scopus)

抄録

In connection with uniform computability and intuitionistic provability, the strength of the sequential version of theorems has been investigated in reverse mathematics. In some examples, we illustrate that it occasionally depends on the way of formalizing the statement, so the investigation of sequential strength demands careful attention to the formalization. Moreover our results suggest the optimality of Dorais's uniformization theorems.

本文言語English
ホスト出版物のタイトルThe Nature of Computation: Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Proceedings
ページ171-180
ページ数10
7921 LNCS
DOI
出版ステータスPublished - 2013
外部発表はい
イベント9th Conference on Computability in Europe - The Nature of Computation: Logic, Algorithms, Applications, CiE 2013 - Milan, Italy
継続期間: 2013 7 12013 7 5

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
7921 LNCS
ISSN(印刷版)03029743
ISSN(電子版)16113349

Other

Other9th Conference on Computability in Europe - The Nature of Computation: Logic, Algorithms, Applications, CiE 2013
国/地域Italy
CityMilan
Period13/7/113/7/5

ASJC Scopus subject areas

  • コンピュータ サイエンス(全般)
  • 理論的コンピュータサイエンス

フィンガープリント

「A note on the sequential version of Π<sub>2</sub> <sup>1</sup> statements」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル