A Big Difference Between Interpretability and Definability in an Expansion of the Real Field
| Abstract | We say that E is R-sparse if f(Ek) has no interior, for each k 2 N and f : Rk ! R de nable in R. (Throughout, \de nable" means \de nable without parameters".) In this note, we consider the extent to which basic metric and topological properties of subsets of R de nable in (R;E)# are determined by the corresponding properties of subsets of R de nable in (R;E), when R is an o-minimal expansion of (R;<;+;0;1) and E is R-sparse. The precise statement of the main result is a bit complicated, but we can state some special cases now. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
  Try with proxy. Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesHarvey Friedman, Krzysztof Kurdyka, Chris Miller & Patrick Speissegger (2010). Expansions of the Real Field by Open Sets: Definability Versus Interpretability. Journal of Symbolic Logic 75 (4):1311-1325.
Michael C. Laskowski & Charles Steinhorn (1995). On o-Minimal Expansions of Archimedean Ordered Groups. Journal of Symbolic Logic 60 (3):817-831.
Alessandro Berarducci & Margarita Otero (2003). Transfer Methods for o-Minimal Topology. Journal of Symbolic Logic 68 (3):785-794.
Harvey Friedman & Chris Miller (2005). Expansions of O-Minimal Structures by Fast Sequences. Journal of Symbolic Logic 70 (2):410 - 418.
Jean-Marie Lion (2002). Finitude Simple Et Structures o-Minimales (Finiteness Property Implies o-Minimality). Journal of Symbolic Logic 67 (4):1616-1622.
Michael A. Tychonievich (2012). The Set of Restricted Complex Exponents for Expansions of the Reals. Notre Dame Journal of Formal Logic 53 (2):175-186.
Dick Jongh & Albert Visser (1991). Explicit Fixed Points in Interpretability Logic. Studia Logica 50 (1):39 - 49.
Robert S. Lubarsky (1988). Definability and Initial Segments of C-Degrees. Journal of Symbolic Logic 53 (4):1070-1081.
José Iovino (1997). Definability in Functional Analysis. Journal of Symbolic Logic 62 (2):493-505.
Jonathan Schaffer (2004). Two Conceptions of Sparse Properties. Pacific Philosophical Quarterly 85 (1):92–102.
Claes Strannegård (1999). Interpretability Over Peano Arithmetic. Journal of Symbolic Logic 64 (4):1407-1425.
Daniel W. Cunningham (1998). The Fine Structure of Real Mice. Journal of Symbolic Logic 63 (3):937-994.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-12-22Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
