When is scalar multiplication decidable?
classification
🧮 math.LO
keywords
mathbbdecidableexpandedfieldmultiplicationonlyorderedpredicate
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.