Ramified analysis and the minimal β-models of higher order arithmetics
Recursion in total functionals of finite type
Recursive Arithmetic of Skolem II.
Recursive metric spaces
Reduced Products Of Saturated Intuitionistic Theories
Reduced products of saturated intuitionistic theories.
Reducibilities of sets based on constructive functions of a real variable
Relatively constructible transitive models
Remarks on the structure of tt-degrees based on constructive measure theory
Representation of metamorphosis grammar in logic grammar: Proof trees and their lengths.
Representations of Reals in Reverse Mathematics
Working in the framework of reverse mathematics, we consider representations of reals as rapidly converging Cauchy sequences, decimal expansions, and two sorts of Dedekind cuts. Converting single reals from one representation to another can always be carried out in RCA₀. However, the conversion process is not always uniform. Converting infinite sequences of reals in some representations to other representations requires the use of WKL₀ or ACA₀.
Reverse mathematics of some topics from algorithmic graph theory
This paper analyzes the proof-theoretic strength of an infinite version of several theorems from algorithmic graph theory. In particular, theorems on reachability matrices, shortest path matrices, topological sorting, and minimal spanning trees are considered.