file.pdf (209.31 kB)
Download file

On the Relationship Between ID^_

Download (209.31 kB)
journal contribution
posted on 02.04.1996, 00:00 authored by Jeremy AvigadJeremy Avigad

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.

History

Publisher Statement

All Rights Reserved

Date

02/04/1996

Usage metrics

Categories

Keywords

Exports