manuscripta mathematica

, Volume 54, Issue 1–2, pp 187–195

The field of reals with a predicate for the powers of two

  • Lou van den Dries


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    VAN DEN DRIES, L.: Remarks on Tarski's problem concerning (ℝ, +, ·, exp.), Logic Colloquium 1982,pp.97–121, Ed. by G.Lolli, G. Longo, A. Marja, North Holland, 1984Google Scholar
  2. [2]
    VAN DEN DRIES, L.: Algebraic Theories With Definable Skolem Functions, Journal of Symb.Logic 49(1984) 625–629Google Scholar
  3. [3]
    PRESTEL, A.: Lectures on Formally Real Fields, Springer Lecture Notes 1093(1984)Google Scholar
  4. [4]
    SACKS, G.: Saturated Model Theory, Benjamin, Inc. (1972), Reading, MassachussettsGoogle Scholar

Copyright information

© Springer-Verlag 1985

Authors and Affiliations

  • Lou van den Dries
    • 1
  1. 1.Max-Planck-Institut für MathematikBonn 3

Personalised recommendations