An analytic equivalence relation not arising from a Polish group action
A failure of quantifier elimination.
We show that log is needed to eliminate quantifiers in the theory of the real numbers with restricted analytic functions and exponentiation.
Levelled O-minimal structures.
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