English

When is scalar multiplication decidable?

Logic 2019-03-25 v2

Abstract

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

Cite

@article{arxiv.1505.08055,
  title  = {When is scalar multiplication decidable?},
  author = {Philipp Hieronymi},
  journal= {arXiv preprint arXiv:1505.08055},
  year   = {2019}
}
R2 v1 2026-06-22T09:43:53.058Z