Intuitionistic provability versus uniform provability in RCA

Makoto Fujiwara

doi:10.1007/978-3-319-20028-6_19

Intuitionistic provability versus uniform provability in RCA

Makoto Fujiwara

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Proceedings
Publisher	Springer Verlag
Pages	186-195
Number of pages	10
Volume	9136
ISBN (Print)	9783319200279
DOIs	https://doi.org/10.1007/978-3-319-20028-6_19
Publication status	Published - 2015
Externally published	Yes
Event	11th Conference on Computability in Europe, CiE 2015 - Bucharest Duration: 2015 Jun 29 → 2015 Jul 3

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9136
ISSN (Print)	03029743
ISSN (Electronic)	16113349

Other

Other	11th Conference on Computability in Europe, CiE 2015
City	Bucharest
Period	15/6/29 → 15/7/3

Keywords

Computable analysis
Constructive mathematics
Medvedev reducibility
Reverse mathematics

ASJC Scopus subject areas

Computer Science(all)
Theoretical Computer Science

Access to Document

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

Fingerprint Dive into the research topics of 'Intuitionistic provability versus uniform provability in RCA'. Together they form a unique fingerprint.

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 proceeding › Conference 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

@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",

note = "11th Conference on Computability in Europe, CiE 2015 ; Conference date: 29-06-2015 Through 03-07-2015",

}

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

AN - SCOPUS:84950149785

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

T2 - 11th Conference on Computability in Europe, CiE 2015

Y2 - 29 June 2015 through 3 July 2015

ER -