Switch to: References

Add citations

You must login to add citations.
  1. The Set of Restricted Complex Exponents for Expansions of the Reals.Michael A. Tychonievich - 2012 - Notre Dame Journal of Formal Logic 53 (2):175-186.
    We introduce the set of definable restricted complex powers for expansions of the real field and calculate it explicitly for expansions of the real field itself by collections of restricted complex powers. We apply this computation to establish a classification theorem for expansions of the real field by families of locally closed trajectories of linear vector fields.
    Download  
     
    Export citation  
     
    Bookmark  
  • R-analytic functions.Tobias Kaiser - 2016 - Archive for Mathematical Logic 55 (5-6):605-623.
    We introduce the notion of R-analytic functions. These are definable in an o-minimal expansion of a real closed field R and are locally the restriction of a K-differentiable function where K=R[-1]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$K=R[\sqrt{-1}]$$\end{document} is the algebraic closure of R. The class of these functions in this general setting exhibits the nice properties of real analytic functions. We also define strongly R-analytic functions. These are globally the restriction of a K-differentiable function. We show that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Companionability characterization for the expansion of an o-minimal theory by a dense subgroup.Alexi Block Gorman - 2023 - Annals of Pure and Applied Logic 174 (10):103316.
    Download  
     
    Export citation  
     
    Bookmark   1 citation