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…