Pacific Journal of Mathematics

Exponential rings, exponential polynomials and exponential functions.

Lou van den Dries

Full-text: Open access

PDF File (1516 KB) DjVu File (344 KB)

Article information

Source
Pacific J. Math., Volume 113, Number 1 (1984), 51-66.

Dates
First available in Project Euclid: 8 December 2004

Permanent link to this document
https://projecteuclid.org/euclid.pjm/1102709376

Mathematical Reviews number (MathSciNet)
MR745594

Zentralblatt MATH identifier
0603.13019

Subjects
Primary: 13L05: Applications of logic to commutative algebra [See also 03Cxx, 03Hxx]
Secondary: 03C60: Model-theoretic algebra [See also 08C10, 12Lxx, 13L05] 12L05: Decidability [See also 03B25] 13B99: None of the above, but in this section

Citation

van den Dries, Lou. Exponential rings, exponential polynomials and exponential functions. Pacific J. Math. 113 (1984), no. 1, 51--66. https://projecteuclid.org/euclid.pjm/1102709376


Export citation

References

  • [C] G. E. Collins, Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition, Automata Theory andFormal Language, 2nd G. I. Conference, Kaiserslautern, pp. 134-183, Berlin, Springer-Verlag, 1975.
    Mathematical Reviews (MathSciNet): MR53:7771
    Zentralblatt MATH: 0900.03055
  • [D] L. van den Dries, Analytic Hardy fields and exponential curves in the realplane, Amer. J. Math., 106(1984).
    Mathematical Reviews (MathSciNet): MR85b:12002
    Zentralblatt MATH: 0597.26002
  • [H] G. H. Hardy, Orders of Infinity, Cambridge, 1910.
    Zentralblatt MATH: 41.0303.01
  • [M] A. Macintyre, The Laws of Exponentiation, Springer LNM 890, 185-197, 1981.
    Mathematical Reviews (MathSciNet): MR83f:03037
    Zentralblatt MATH: 0503.08008
  • [R] D. Richardson, Solution of the identity problem for integral exponential functions, Zeitschr. fur Math. Logik und Grundl. der Math., 15 (1969), 333-340.
    Mathematical Reviews (MathSciNet): MR41:6678
    Zentralblatt MATH: 0184.02301

Pacific Journal of Mathematics, A Non-profit Corporation

Pacific Journal of Mathematics
  • You have access to this content.
  • You have partial access to this content.
  • You do not have access to this content.
Turn Off MathJax

What is MathJax?

More like this

+ See more