 Tarski's exponential function problem

Tarski's exponential function problem refers to a question in mathematical logic and model theory, posed by the Polish logician Alfred Tarski. The problem involves examining the properties of certain functions, specifically the exponential function, within the framework of formal logic and structures.