Hostname: page-component-cd9895bd7-dzt6s Total loading time: 0 Render date: 2024-12-25T18:58:36.077Z Has data issue: false hasContentIssue false
  • English
  • Français

Bi-coloured fields on the complex numbers

Published online by Cambridge University Press:  12 March 2014

B. Zilber
B. Zilber*
Affiliation:
Mathematical Institute, University of Oxford, 24-29 St, Giles Oxford OX1 3LB., UK, E-mail: zilber@maths.ox.ac.uk
Get access Rights & Permissions [Opens in a new window]

Abstract.

We consider two theories of “bad fields” constructed by B.Poizat using Hrushovski's amalgamation and show that these theories have natural models representable as the field of complex numbers with a distinguished subset given as a union of countably many real analytic curves. One of the two examples is based on the complex exponentiation and the proof assumes Schanuel's conjecture.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 69 , Issue 4 , December 2004 , pp. 1171 - 1186
Copyright
Copyright © Association for Symbolic Logic 2004

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[BH1]Baldwin, J. T. and Holland, K., Constructing ω-stable structures: rank 2 fields, this Journal, vol. 65 (2000), no. 1, pp. 371–391.Google Scholar
[BH2]Baldwin, J. T. and Holland, K., Constructing ω-stable structures: computing rank, Fundamenta Mathematicae, vol. 170 (2001), no. 1–2, pp. 1–20.CrossRefGoogle Scholar
[C]Chirka, E. M., Complex analytic sets, Mathematics and its Applications (Soviet Series), vol. 46, Kluwer Academic Publishers Group, Dordrecht, 1989.CrossRefGoogle Scholar
[K]Koiran, P., The theory of Liouville functions, this Journal, vol. 68 (2003), no. 2, pp. 353–365.Google Scholar
[MW]Macintyre, A. and Wilkie, A., On the decidability of the real exponential field, Kreiseliana, A K Peters, Wellesley, MA, 1996, pp. 441–467.Google Scholar
[M]Miller, C., Tameness in expansions of the real field, Logic Colloquium ’01, to appear.Google Scholar
[P1]Poizat, B., Le carré de l'égalité, this Journal, vol. 64 (1999), no. 3, pp. 1339–1355.Google Scholar
[P2]Poizat, B., L'égalité au cube, this Journal, vol. 66 (2001), no. 4, pp. 1647–1676.Google Scholar
[W]Wilkie, A., Liouville functions, European Logic Colloquium, Paris 2000, to appear.Google Scholar
[Z1]Zilber, B., Analytic and pseudo-analytic structures, European Logic Colloquium, Paris 2000, to appear.Google Scholar
[Z2]Zilber, B., Pseudo-exponentiation on algebraically closed fields of characteristic zero, to appear in Annals of Pure and Applied Logic.Google Scholar
[Z3]Zilber, B., A note on the model theory of the complex field with roots of unity, www.maths.ox.ac.uk/˜zilber/publ.html.Google Scholar
[Z4]Zilber, B., Exponential sums equations and the Schanuel conjecture, Journal of the London Mathematical Society, Second Series, vol. 65 (2002), no. 1, pp. 27–44.CrossRefGoogle Scholar
[Z5]Zilber, B., Complex roots of unity on the real plane, www.maths.ox.ac.uk/~zilber/publ.html.Google Scholar