Displaying similar documents to “A definition of exponentiation by a bounded arithmetical formula”