For reference, my paper "Arithmetic with Limited Exponentiation" is now available: http://web.mit.edu/dmytro/www/BoundedArithmetic.htm Its content expands my two FOM postings: Arithmetic with Limited Exponentiation Arithmetic with Limited Exponentiation II Sincerely, Dmytro Taranovsky