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