Sciweavers

Share
JSYML
2010

Formalizing non-standard arguments in second-order arithmetic

9 years 5 months ago
Formalizing non-standard arguments in second-order arithmetic
In this paper, we introduce the systems ns-ACA0 and ns-WKL0 of non-standard second-order arithmetic in which we can formalize non-standard arguments in ACA0 and WKL0, respectively. Then, we give direct transformations from non-standard proofs in ns-ACA0 or ns-WKL0 into proofs in ACA0 or WKL0.
Keita Yokoyama
Added 20 May 2011
Updated 20 May 2011
Type Journal
Year 2010
Where JSYML
Authors Keita Yokoyama
Comments (0)
books