A new conservation result of \(\text{WKL}_0\) over \(\text{RCA}_0\)

DOI10.1007/S001530200004zbMath1030.03045OpenAlexW2041548599MaRDI QIDQ1407524

António Marques Fernandes

Publication date: 16 September 2003

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001530200004

zbMATH Keywords

forcingreverse mathematicsconservationWKL

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Model-theoretic forcing (03C25)

Related Items (1)

Strict \({\varPi^1_1}\)-reflection in bounded arithmetic

This page was built for publication: A new conservation result of \(\text{WKL}_0\) over \(\text{RCA}_0\)