Elementary Acceleration and Multisummability I
We prove that the boolean algebras of sets definable in elementarily equivalent o-minimal expansions of real closed fields are back-and-forth equivalent, and in particular elementarily equivalent, in the language of boolean algebras with new predicates indicating the dimension, Euler characteristic and open sets. We also show that the boolean algebra of semilinear subsets of [0,1]ⁿ definable in an o-minimal expansion of a real closed field is back-and-forth equivalent to the boolean algebra of definable...
We study spaces M(R(y)) of ℝ-places of rational function fields R(y) in one variable. For extensions F|R of formally real fields, with R real closed and satisfying a natural condition, we find embeddings of M(R(y)) in M(F(y)) and prove uniqueness results. Further, we study embeddings of products of spaces of the form M(F(y)) in spaces of ℝ-places of rational function fields in several variables. Our results uncover rather unexpected obstacles to a positive solution of the open question whether the...
On étend une partie de la théorie de la structure de Frobenius faible des équations différentielles -adiques au cas où les coefficients sont des fonctions algébriques.
Let be a number field. It is well known that the set of recurrencesequences with entries in is closed under component-wise operations, and so it can be equipped with a ring structure. We try to understand the structure of this ring, in particular to understand which algebraic equations have a solution in the ring. For the case of cyclic equations a conjecture due to Pisot states the following: assume is a recurrence sequence and suppose that all the have a root in the field ; then (after...