Abstract
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.
Citation
Michael A. Tychonievich. "The Set of Restricted Complex Exponents for Expansions of the Reals." Notre Dame J. Formal Logic 53 (2) 175 - 186, 2012. https://doi.org/10.1215/00294527-1715671
Information
