Ordinal Analysis without Proofs

2000-01-01T00:00:00Z (GMT) by Jeremy 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.

Categories

Keyword(s)

License

In Copyright