Analytic and pseudo-analytic structures (a survey)

Source: arXiv


The paper is an extended version of the talk in the Logic Colloquium-2000 at Paris. We discuss a series of results and problems around Hrushovski's construction of counter-examples to the Trichotomy conjecture.

10 Reads
  • [Show abstract] [Hide abstract]
    ABSTRACT: Let script M sign = 〈M, <, . . .〈 be a linearly ordered structure. We define script M sign to be o-minimal if every definable subset of M is a finite union of intervals. Classical examples are ordered divisible abelian groups and real closed fields. We prove a trichotomy theorem for the structure that an arbitrary o-minimal script M sign can induce on a neighbourhood of any a in M. Roughly said, one of the following holds: (i) a is trivial (technical term), or (ii) a has a convex neighbourhood on which script M sign induces the structure of an ordered vector space, or (iii) a is contained in an open interval on which script M sign induces the structure of an expansion of a real closed field. The proof uses 'geometric calculus' which allows one to recover a differentiable structure by purely geometric methods.
    Proceedings of the London Mathematical Society 11/1998; 77(3):481-523. DOI:10.1112/S0024611598000549 · 1.11 Impact Factor
  • Logic Colloquium '85, Orsay, France; 01/1985
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: A dierence eld is a eld with a distinguished automorphism . This paper studies the model theory of existentially closed dierence elds. We introduce a dimension theory on formulas, and in particular on dierence equa- tions. We show that an arbitrary formula may be reduced into one-dimensional ones, and analyze the possible internal structures on the one-dimensional for- mulas when the characteristic is 0.
    Transactions of the American Mathematical Society 01/1999; 351(8). DOI:10.1090/S0002-9947-99-02498-8 · 1.12 Impact Factor
Show more

Preview (2 Sources)

10 Reads
Available from