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 
On expansions of the real field by complex subgroups
  • E. Caulfield
  • Mathematics, Computer Science
  • Ann. Pure Appl. Log.
  • 2017
TLDR
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
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 MannExpand
The real field with the rational points of an elliptic curve
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 eliminationExpand
Defining additive subgroups of the reals from convex subsets
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 aExpand
DEFINING THE INTEGERS IN EXPANSIONS OF THE REAL FIELD BY A CLOSED DISCRETE SET
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, theExpand
SPECIAL POINT PROBLEMS WITH ELLIPTIC MODULAR SURFACES
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 ofExpand
Topological Study of Pairs of Algebraically Closed Fields
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 setsExpand
The real field with an irrational power function and a dense multiplicative subgroup
TLDR
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
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
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 formExpand
...
1
2
3
4
5
...

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
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 ofExpand
The Manin-Mumford conjecture and the model theory of difference fields
  • E. Hrushovski
  • Mathematics, Computer Science
  • Ann. Pure Appl. Log.
  • 2001
TLDR
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
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 fieldExpand
Linear Algebraic Groups
We give a summary, without proofs, of basic properties of linear algebraic groups, with particular emphasis on reductive algebraic groups.
Geometric Stability Theory
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. RegularExpand
Dense pairs of o-minimal structures
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 aExpand
Elementary properties of ordered abelian groups
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 suchExpand
The model-theoretic content of Lang’s conjecture
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 andExpand
On linear relations between roots of unity
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 replacingExpand
Algebra
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 theExpand
...
1
2
...