When is scalar multiplication decidable?

Philipp Hieronymi

Research output: Contribution to journalArticlepeer-review


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

Original languageEnglish (US)
Pages (from-to)1162-1175
Number of pages14
JournalAnnals of Pure and Applied Logic
Issue number10
StatePublished - Oct 2019


  • Decidability
  • Definability
  • Expansions of the real ordered additive group
  • Scalar multiplication

ASJC Scopus subject areas

  • Logic


Dive into the research topics of 'When is scalar multiplication decidable?'. Together they form a unique fingerprint.

Cite this