Corpus ID: 123693852

On the First-Order Theory of Real Exponentiation

@inproceedings{Servi2008OnTF,
  title={On the First-Order Theory of Real Exponentiation},
  author={Tamara Servi},
  year={2008}
}
12 Citations
On the decidability of the real field with a generic power function
  • 6
  • PDF
Value groups and residue fields of models of real exponentiation
  • L. S. Krapp
  • Mathematics, Computer Science
  • J. Log. Anal.
  • 2019
  • 1
  • PDF
On the History of Differentiable Manifolds
  • 4
  • PDF
Fewnomial Systems with Many Roots, and an Adelic Tau Conjecture
  • 15
  • PDF
Locally polynomially bounded structures
  • 18
  • PDF
...
1
2
...

References

SHOWING 1-10 OF 63 REFERENCES
A theorem of the complement and some new o-minimal structures
  • 114
  • Highly Influential
Sur certains sous-ensembles de l'espace euclidien
  • 12
  • Highly Influential
  • PDF
Expansions of dense linear orders with the intermediate value property
  • 75
  • Highly Influential
On the decidability of the real exponential field
  • 150
  • Highly Influential
A class of systems of transcendental equations
  • Dokl. Akad. Nauk SSSR 255
  • 1980
A Course on Mathematical Logic
  • 81
Tame Topology and O-Minimal Structures
  • 672
An effective version of Wilkie's theorem of the complement and some effective o-minimality results
  • 15
  • PDF
...
1
2
3
4
5
...