Translator Disclaimer
December 2010 Formalizing non-standard arguments in second-order arithmetic
Keita Yokoyama
J. Symbolic Logic 75(4): 1199-1210 (December 2010). DOI: 10.2178/jsl/1286198143

Abstract

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.

Citation

Download Citation

Keita Yokoyama. "Formalizing non-standard arguments in second-order arithmetic." J. Symbolic Logic 75 (4) 1199 - 1210, December 2010. https://doi.org/10.2178/jsl/1286198143

Information

Published: December 2010
First available in Project Euclid: 4 October 2010

zbMATH: 1214.03047
MathSciNet: MR2767964
Digital Object Identifier: 10.2178/jsl/1286198143

Rights: Copyright © 2010 Association for Symbolic Logic

JOURNAL ARTICLE
12 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.75 • No. 4 • December 2010
Back to Top