Showing math.LOShow all
2 papers · 1 filter
math.LO2008
Expansions of the real field by open sets: definability versus interpretability
H. Friedman, K. Kurdyka, C. Miller +1
An open set U of the real numbers R is produced such that the expansion (R,+,x,U) of the real field by U defines a Borel isomorph of (R,+,x,N) but does not define N. It follows tha…
math.LO2006
An ordered structure of rank two related to Dulac's problem
Alf Dolich, Patrick Speissegger
For a vector field F on the Euclidean plane we construct, under certain assumptions on F, an ordered model-theoretic structure associated to the flow of F. We do this in such a way…