Two remarks on polynomially bounded reducts of the restricted analytic field with exponentiation
classification
🧮 math.LO
math.CA
keywords
fieldanalyticexponentiationrestrictedboundedconstructionexamplefunctions
read the original abstract
This article presents two constructions motivated by a conjecture of L. van den Dries and C. Miller concerning the restricted analytic field with exponentiation. The first construction provides an example of two o-minimal expansions of a real closed field that possess the same field of germs at infinity of one-variable functions and yet define different global one-variable functions. The second construction gives an example of a family of infinitely many distinct polynomially bounded reducts (all this in the sense of definability) of the restricted analytic field with exponentiation.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.