When is scalar multiplication decidable?

Research output: Contribution to journalArticle

Abstract

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
Volume170
Issue number10
DOIs
StatePublished - Oct 2019

Keywords

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

ASJC Scopus subject areas

  • Logic

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

  • Cite this