Jan Krajícek. Exponentiation and Second-Order Bounded Arithmetic. Annals of Pure and Applied Logic, 48(3):261-276, 1990.
@article{Krajicek90, title = {Exponentiation and Second-Order Bounded Arithmetic}, author = {Jan Krajícek}, year = {1990}, researchr = {https://researchr.org/publication/Krajicek90}, cites = {0}, citedby = {0}, journal = {Annals of Pure and Applied Logic}, volume = {48}, number = {3}, pages = {261-276}, }