# THE FIELDS OF REAL AND COMPLEX NUMBERS WITH A SMALL MULTIPLICATIVE GROUP

@article{Dries2006THEFO, title={THE FIELDS OF REAL AND COMPLEX NUMBERS WITH A SMALL MULTIPLICATIVE GROUP}, author={L. Dries and Ayhan G{\"u}naydin}, journal={Proceedings of The London Mathematical Society}, year={2006}, volume={93}, pages={43-81} }

We consider the model theory of the real and complex fields with a multiplicative group having the Mann property. Among these groups are the finitely generated multiplicative groups in these fields. As a by-product we obtain some results on groups with the Mann property in rings of Witt vectors and in fields of positive characteristic.k

#### 57 Citations

On expansions of the real field by complex subgroups

- Mathematics, Computer Science
- Ann. Pure Appl. Log.
- 2017

A class of finite rank multiplicative subgroups of the complex numbers such that the expansion of the real field by such a group is model-theoretically well-behaved and does not even extend to expansions by subgroups with two generators. Expand

Thorn independence in the field of real numbers with a small multiplicative group

- Mathematics, Computer Science
- Ann. Pure Appl. Log.
- 2007

Abstract We characterize þ-independence in a variety of structures, focusing on the field of real numbers expanded by predicate defining a dense multiplicative subgroup, G , satisfying the Mann… Expand

The real field with the rational points of an elliptic curve

- Mathematics
- 2009

We consider the expansion of the real field by the group of rational points of an elliptic curve over the rational numbers. We prove a completeness result, followed by a quantifier elimination… Expand

Defining additive subgroups of the reals from convex subsets

- Mathematics
- 2009

Let G be a subgroup of the additive group of real numbers and let C ⊆ G be infinite and convex in G. We show that G is definable in (R, +,.,C) and that Z is definable if G has finite rank. This has a… Expand

DEFINING THE INTEGERS IN EXPANSIONS OF THE REAL FIELD BY A CLOSED DISCRETE SET

- 2009

Let D ⊆ R be closed and discrete and f : Dn → R be such that f(Dn) is somewhere dense. We show that (R, +, ·, f) defines Z. As an application, we get that for every α, β ∈ R with log α (β) / ∈ Q, the… Expand

SPECIAL POINT PROBLEMS WITH ELLIPTIC MODULAR SURFACES

- Mathematics
- 2014

We prove a “special point” result for products of elliptic modular surfaces, elliptic curves, multiplicative groups and complex lines, and deduce a result about vanishing linear combinations of… Expand

Topological Study of Pairs of Algebraically Closed Fields

- Mathematics
- 2017

We construct a topology on a given algebraically closed field with a distinguished subfield which is also algebraically closed. This topology is finer than Zariski topology and it captures the sets… Expand

The real field with an irrational power function and a dense multiplicative subgroup

- Mathematics, Computer Science
- J. Lond. Math. Soc.
- 2011

A first-order axiomatization of expansions of R by a dense multiplicative subgroup which is a subset of the real algebraic numbers, and a connection between the theory of Diophantine approximation and this structure is developed. Expand

Small groups in dense pairs

- Mathematics
- 2018

We show that every small group definable in a real-closed field equipped with a dense proper real-closed subfield has locally, up to interdefinability, an algebraic group law.

Generic points on exponential curves

- Mathematics
- 2010

We show, assuming Schanuel's conjecture, that every irreducible complex polynomial in two variables where both variables appear has infinitely many algebraically independent solutions of the form… Expand

#### References

SHOWING 1-10 OF 19 REFERENCES

On the elementary theory of rings of Witt vectors with a multiplicative set of representatives for the residue field

- Mathematics
- 1999

We indicate a complete set of elementary invariants for the ring of Witt vectors over a perfect field of prime characteristic, where this ring is equipped with its unique multiplicative set of… Expand

The Manin-Mumford conjecture and the model theory of difference fields

- Mathematics, Computer Science
- Ann. Pure Appl. Log.
- 2001

The structure of Abelian groups definable in ACFA, the model companion of fields with an automorphism, is determined using methods of geometric stability; it is shown that these tools can be used to study torsion points on Abelian varieties. Expand

Difference algebraic subgroups of commutative algebraic groups over finite fields

- Mathematics
- 1999

Abstract: We study the question of which torsion subgroups of commutative algebraic groups over finite fields are contained in modular difference algebraic groups for some choice of a field… Expand

Linear Algebraic Groups

- 2005

We give a summary, without proofs, of basic properties of linear algebraic groups, with particular emphasis on reductive algebraic groups.

Geometric Stability Theory

- Mathematics
- 1996

Introduction 1. Stability theory 2. The classical finite rank theory 3. Quasi finite axiomatizability 4. 1-based theories and groups 5. Groups and geometries 6. Unidimensional theories 7. Regular… Expand

Dense pairs of o-minimal structures

- Mathematics
- 1998

The structure of definable sets and maps in dense elementary pairs of o-minimal expansions of ordered abelian groups is described. It turns out that a certain notion of “small definable set” plays a… Expand

Elementary properties of ordered abelian groups

- Mathematics
- 1960

Introduction. A complete classification of abelian groups by their elementary properties (i.e. properties that can be formalized in the lower predicate calculus) was given by Szmielew [9]. No such… Expand

The model-theoretic content of Lang’s conjecture

- Mathematics
- 1998

The rest of this volume is dedicated to explaining Hrushovski’s model-theoretic approach [Hr 96] to the geometric case of a conjecture of Lang. See [Hi] for a presentation of the conjecture and… Expand

On linear relations between roots of unity

- Mathematics
- 1965

In a recent paper I. J. Schoenberg [1] considered relations where the a v are rational integers and the ζ v are roots of unity. We may in (1) replace all negative coefficients a v by − a v replacing… Expand

Algebra

- Nature
- 1941

THIS is a text–book intended primarily for undergraduates. It is designed to give a broad basis of knowledge comprising such theories and theorems in those parts of algebra which are mentioned in the… Expand