Intuitionistic provability versus uniform provability in RCA

Makoto Fujiwara*

*この研究の対応する著者

研究成果: Conference contribution

2 被引用数 (Scopus)

抄録

We provide an exact formalization of uniform provability in RCA and show that for any Π1/2 sentence of some syntactical form, it is intuitionistically provable if and only if it is uniformly provable in RCA.

本文言語English
ホスト出版物のタイトルEvolving Computability - 11th Conference on Computability in Europe, CiE 2015, Proceedings
出版社Springer Verlag
ページ186-195
ページ数10
9136
ISBN(印刷版)9783319200279
DOI
出版ステータスPublished - 2015
外部発表はい
イベント11th Conference on Computability in Europe, CiE 2015 - Bucharest
継続期間: 2015 6月 292015 7月 3

出版物シリーズ

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

Other

Other11th Conference on Computability in Europe, CiE 2015
CityBucharest
Period15/6/2915/7/3

ASJC Scopus subject areas

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

フィンガープリント

「Intuitionistic provability versus uniform provability in RCA」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル