Displaying similar documents to “Levelled O-minimal structures.”

A family of 2 1 logarithmic functions of distinct growth rates

Salma Kuhlmann (2010)

Open Mathematics

Similarity:

We construct a totally ordered set Γ of positive infinite germs (i.e. germs of positive real-valued functions that tend to +∞), with order type being the lexicographic product ℵ1 × ℤ2. We show that Γ admits 2 1 order preserving automorphisms of pairwise distinct growth rates.

A failure of quantifier elimination.

Angus Macintyre, David Marker (1997)

Revista Matemática de la Universidad Complutense de Madrid

Similarity:

We show that log is needed to eliminate quantifiers in the theory of the real numbers with restricted analytic functions and exponentiation.