Date of Original Version

2000

Type

Conference Proceeding

Rights Management

All Rights Reserved

Abstract or Description

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.

Included in

Philosophy Commons

Share

COinS