An analytic equivalence relation not arising from a Polish group action
We show that log is needed to eliminate quantifiers in the theory of the real numbers with restricted analytic functions and exponentiation.
We introduce the notion of leveled structure and show that every structure elementarily equivalent to the real expo field expanded by all restricted analytic functions is leveled.
Page 1