Intuitionistic provability versus uniform provability in RCA

Makoto Fujiwara

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationEvolving Computability - 11th Conference on Computability in Europe, CiE 2015, Proceedings
PublisherSpringer Verlag
Pages186-195
Number of pages10
Volume9136
ISBN (Print)9783319200279
DOIs
Publication statusPublished - 2015
Externally publishedYes
Event11th Conference on Computability in Europe, CiE 2015 - Bucharest
Duration: 2015 Jun 292015 Jul 3

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9136
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

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

Fingerprint

Formalization
If and only if
Syntax
Form

Keywords

  • Computable analysis
  • Constructive mathematics
  • Medvedev reducibility
  • Reverse mathematics

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Fujiwara, M. (2015). Intuitionistic provability versus uniform provability in RCA. In Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Proceedings (Vol. 9136, pp. 186-195). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9136). Springer Verlag. https://doi.org/10.1007/978-3-319-20028-6_19

Intuitionistic provability versus uniform provability in RCA. / Fujiwara, Makoto.

Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Proceedings. Vol. 9136 Springer Verlag, 2015. p. 186-195 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9136).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fujiwara, M 2015, Intuitionistic provability versus uniform provability in RCA. in Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Proceedings. vol. 9136, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9136, Springer Verlag, pp. 186-195, 11th Conference on Computability in Europe, CiE 2015, Bucharest, 15/6/29. https://doi.org/10.1007/978-3-319-20028-6_19
Fujiwara M. Intuitionistic provability versus uniform provability in RCA. In Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Proceedings. Vol. 9136. Springer Verlag. 2015. p. 186-195. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-319-20028-6_19
Fujiwara, Makoto. / Intuitionistic provability versus uniform provability in RCA. Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Proceedings. Vol. 9136 Springer Verlag, 2015. pp. 186-195 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{2a088d23d5624b42a2163a66d0975119,
title = "Intuitionistic provability versus uniform provability in RCA",
abstract = "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.",
keywords = "Computable analysis, Constructive mathematics, Medvedev reducibility, Reverse mathematics",
author = "Makoto Fujiwara",
year = "2015",
doi = "10.1007/978-3-319-20028-6_19",
language = "English",
isbn = "9783319200279",
volume = "9136",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "186--195",
booktitle = "Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Proceedings",
address = "Germany",

}

TY - GEN

T1 - Intuitionistic provability versus uniform provability in RCA

AU - Fujiwara, Makoto

PY - 2015

Y1 - 2015

N2 - 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.

AB - 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.

KW - Computable analysis

KW - Constructive mathematics

KW - Medvedev reducibility

KW - Reverse mathematics

UR - http://www.scopus.com/inward/record.url?scp=84950149785&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84950149785&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-20028-6_19

DO - 10.1007/978-3-319-20028-6_19

M3 - Conference contribution

SN - 9783319200279

VL - 9136

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 186

EP - 195

BT - Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Proceedings

PB - Springer Verlag

ER -