Date of Original Version

4-2-1996

Type

Article

Rights Management

All Rights Reserved

Abstract or Description

We show that the theory ATR0 is equivalent to a second-order generalization of the theory $\widehat{ID}_{<\omega}$. As a result, ATR0 is conservative over $\widehat{ID}_{<\omega}$ for arithmetic sentences, though proofs in ATR0 can be much shorter than their $\widehat{ID}_{<\omega}$ counterparts.

Included in

Philosophy Commons

Share

COinS