@Article{         10.2307/23208225,
  Author        = "Jones, Gareth and Servi, Tamara",
  Abstract      = "We show that the theory of the real field with a generic real power function is decidable, relative to an oracle for the rational cut of the exponent of the power function. We also show the existence of generic computable real numbers, hence providing an example of a decidable o-minimal proper expansion of the real field by an analytic function.",
  date-added    = "2017-11-02 10:07:40 +0000",
  date-modified = "2017-11-02 10:08:10 +0000",
  ISSN          = "00224812",
  Journal       = "The Journal of Symbolic Logic",
  Number        = "4",
  Pages         = "1418--1428",
  Publisher     = "Association for Symbolic Logic",
  Title         = "On the Decidability of the Real Field with a Generic Power Function",
  URL           = "http://www.jstor.org/stable/23208225",
  Volume        = "76",
  Year          = "2011",
  bdsk-url-1    = "http://www.jstor.org/stable/23208225",
  File          = "7f7f2d3e923d6f71c6cc3c8dedfcfecc4ae1 (0) - a - a - c.pdf"
}

@Article{ 10.2307/23208225, Author = "Jones, Gareth and Servi, Tamara", Abstract = "We show that the theory of the real field with a generic real power function is decidable, relative to an oracle for the rational cut of the exponent of the power function. We also show the existence of generic computable real numbers, hence providing an example of a decidable o-minimal proper expansion of the real field by an analytic function.", date-added = "2017-11-02 10:07:40 +0000", date-modified = "2017-11-02 10:08:10 +0000", ISSN = "00224812", Journal = "The Journal of Symbolic Logic", Number = "4", Pages = "1418--1428", Publisher = "Association for Symbolic Logic", Title = "On the Decidability of the Real Field with a Generic Power Function", URL = "http://www.jstor.org/stable/23208225", Volume = "76", Year = "2011", bdsk-url-1 = "http://www.jstor.org/stable/23208225", File = "7f7f2d3e923d6f71c6cc3c8dedfcfecc4ae1 (0) - a - a - c.pdf" }