Subevent of QTBD Session #1
‟Adjoining germs of exponentials to R_an, exp while preserving o-minimality” by Salma Kuhlmann <salma.kuhlmann@uni-konstanz.de>, Universität Konstanz
Abstract:
Let κ be a regular uncountable cardinal. We construct non-archimedean exponential logarithmic models (R, an, exp) of cardinality κ, for T_an, exp (the elementary theory of the reals with restricted analytic functions and exponentiation), which admit a family F of 2^κ exponentials of pairwise distinct growth rates. These model exhibits the following remarkable features:
- For each exponential exp’ in F, (R, an, exp’) is a model of T_an, exp and is thus o- minimal.
- All exponentials in F agree exactly on the convex valuation ring of R.
In particular, the germs of these exponentials are incompatible, in the sense that the structure (R, an, exp, exp’) is no longer o-minimal.