file.pdf (351.64 kB)
Download file

Ordinal Analysis without Proofs

Download (351.64 kB)
journal contribution
posted on 01.01.2000, 00:00 by Jeremy AvigadJeremy Avigad
An approach to ordinal analysis is presented which is finitary, but highlights the semantic content of the theories under consideration, rather than the syntactic structure of their proofs. In this paper the methods are applied to the analysis of theories extending Peano arithmetic with transfinite induction and transfinite arithmetic hierarchies.

History

Publisher Statement

All Rights Reserved

Date

01/01/2000

Usage metrics

Categories

Keywords

Exports