Abstract
We give a normal form theorem for arithmetical derivations. It is proved by induction up to $\epsilon_{1}$ and implies the $\omega-$ consistency of arithmetic.
Citation
Kazuma Ikeda. "A normal form for arithmetical derivations implying the $\omega$-consistency of arithmetic." Tsukuba J. Math. 21 (2) 285 - 304, October 1997. https://doi.org/10.21099/tkbjm/1496163242
Information
Published: October 1997
First available in Project Euclid: 30 May 2017
zbMATH: 0895.03024
MathSciNet: MR1473923
Digital Object Identifier: 10.21099/tkbjm/1496163242
Rights: Copyright © 1997 University of Tsukuba, Institute of Mathematics
