Abstract.
In this paper we give a partial answer to a conjecture of Tanaka. We prove that: if WKL0 proves a sentence of the form (∀X)(∃!Y)ψ(X, Y) for a Σ0 3-formula ψ, then so does RCA0.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received: 12 April 1999 / Published online: 3 October 2001
Rights and permissions
About this article
Cite this article
Fernandes, A. A new conservation result of WKL0 over RCA0. Arch. Math. Logic 41, 55–63 (2002). https://doi.org/10.1007/s001530200004
Issue Date:
DOI: https://doi.org/10.1007/s001530200004