A new conservation result of \(\text{WKL}_0\) over \(\text{RCA}_0\) (Q1407524)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A new conservation result of \(\text{WKL}_0\) over \(\text{RCA}_0\) |
scientific article |
Statements
A new conservation result of \(\text{WKL}_0\) over \(\text{RCA}_0\) (English)
0 references
16 September 2003
0 references
The conservation result of the title shows that if WKL\(_0\) proves a sentence of the form \[ (\forall X)(\exists ! Y) \psi (X,Y) \] where \(\psi\) is a \(\Sigma^0_3\)-formula, then RCA\(_0\) also proves the sentence. This result is extended to all arithmetical formulas \(\psi\) in the article of \textit{S. G. Simpson}, \textit{K. Tanaka}, and \textit{T. Yamazaki} [Ann. Pure Appl. Logic 118, 87-114 (2002; Zbl 1016.03064)].
0 references
reverse mathematics
0 references
conservation
0 references
WKL
0 references
forcing
0 references