Notre Dame Journal of Formal Logic 53 (2):175-186 (2012)

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
Keywords o-minimal   exponents   definability
Categories (categorize this paper)
DOI 10.1215/00294527-1715671
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 61,064
Through your library

References found in this work BETA

Expansions of the Real Field with Power Functions.Chris Miller - 1994 - Annals of Pure and Applied Logic 68 (1):79-94.
Undefinability Results in o-Minimal Expansions of the Real Numbers.Ricardo Bianconi - 2005 - Annals of Pure and Applied Logic 134 (1):43-51.

View all 6 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Noetherian Varieties in Definably Complete Structures.Tamara Servi - 2008 - Logic and Analysis 1 (3-4):187-204.
What is o-Minimality?Harvey M. Friedman - 2008 - Annals of Pure and Applied Logic 156 (1):59-67.
Definable Sets in Boolean Ordered o-Minimal Structures. II.Roman Wencel - 2003 - Journal of Symbolic Logic 68 (1):35-51.
Expansions of o-Minimal Structures by Fast Sequences.Harvey Friedman & Chris Miller - 2005 - Journal of Symbolic Logic 70 (2):410-418.
Definability and Initial Segments of C-Degrees.Robert S. Lubarsky - 1988 - Journal of Symbolic Logic 53 (4):1070-1081.
Definable Open Sets As Finite Unions of Definable Open Cells.Simon Andrews - 2010 - Notre Dame Journal of Formal Logic 51 (2):247-251.
Relative Randomness and Real Closed Fields.Alexander Raichev - 2005 - Journal of Symbolic Logic 70 (1):319 - 330.
Forcing in Intuitionistic Systems Without Power-Set.R. J. Grayson - 1983 - Journal of Symbolic Logic 48 (3):670-682.
A Definability Result for Compact Complex Spaces.Dale Radin - 2004 - Journal of Symbolic Logic 69 (1):241-254.

Analytics

Added to PP index
2012-05-10

Total views
57 ( #182,563 of 61,044 )

Recent downloads (6 months)
1 ( #432,499 of 61,044 )

How can I increase my downloads?

Downloads

My notes