On von Neumann regular rings with an automorphism, submitted to (2008)
Ehud Hrushovski, Françoise Point
Abstract. We study the first order theory of Bezout difference rings. In particular we show that rings of sequences very rarely have decidable theories as difference rings, or even decidable model...
FREE ABELIAN LATTICE-ORDERED GROUPS (2008)
Angus Macintyre, Françoise Point
Abstract. Let n be a positive integer and F Aℓ(n) be the free abelian latticeordered group on n generators. We prove that F Aℓ(m) and F Aℓ(n) do not satisfy the same first-order sentences in...
TOPOLOGICAL DIFFERENTIAL FIELDS (2008)
Abstract. First, we consider first-order theories of topological fields admitting a model-completion and their expansion to differential fields (requiring no interaction between the derivation and...
On von Neumann regular rings with an automorphism, submitted to (2008)
Ehud Hrushovski, Françoise Point
Abstract. We study the first order theory of Bezout difference rings. In particular we show that rings of sequences very rarely have decidable theories as difference rings, or even decidable model...
Asymptotic theory of modules of separably closed fields (2005)
We consider the reduct to the module language of certain theories of fields with a non surjective endomorphism. We show in some cases the existence of a model companion. We apply our results for...