MODNET
Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 869

Preprint Number 869

Previous Next Preprint server


869. Philipp Hieronymi
When is scalar multiplication decidable?
E-mail:

Submission date: 29 May 2015.

Abstract:

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

Mathematics Subject Classification: Primary 03B25, Secondary 03C64, 11A67

Keywords and phrases:

Full text arXiv 1505.08055: pdf, ps.


Last updated: June 4 2015 17:58 Please send your corrections to: