Switch to: Citations

Add references

You must login to add references.
  1. Expansions of the real field with power functions.Chris Miller - 1994 - Annals of Pure and Applied Logic 68 (1):79-94.
    We investigate expansions of the ordered field of real numbers equipped with a family of real power functions. We show in particular that the theory of the ordered field of real numbers augmented by all restricted analytic functions and all real power functions admits elimination of quantifiers and has a universal axiomatization. We derive that every function of one variable definable in this structure, not ultimately identically 0, is asymptotic at + ∞ to a real function of the form x (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations