scientific article; zbMATH DE number 963569
From MaRDI portal
Publication:5691043
zbMath0858.03053MaRDI QIDQ5691043
Publication date: 9 January 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
subsystemsexponentiationfirst-order arithmeticwell-orderingdynamic ordinal analysisbounded predicative arithmeticformal theories of bounded arithmeticpredicative boundedness theoremreasoning about finite structuressemi-formal systems
Related Items
Preservation theorems and restricted consistency statements in bounded arithmetic, Theories with self-application and computational complexity., Ordinal analyses for monotone and cofinal transfinite inductions, Separation results for the size of constant-depth propositional proofs, Some results on cut-elimination, provable well-orderings, induction and reflection, Notations for exponentiation., Ordinal notations and well-orderings in bounded arithmetic