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?

Submission date: 29 May 2015.


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: