Switch to: References

Add citations

You must login to add citations.
  1. Ordinal analysis without proofs.Jeremy Avigad - manuscript
    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.
    Download  
     
    Export citation  
     
    Bookmark   2 citations