When is scalar multiplication decidable?

Abstract

Let $K$ be a subfield of $\\mathbb{R}$. The theory of $\\mathbb{R}$ viewed as an ordered $K$-vector space and expanded by a predicate for $\\mathbb{Z}$ is decidable if and only if $K$ is a real quadratic field.