Publications > Preprint server > Preprint Number 869
Preprint Number 869
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:
|Last updated: June 4 2015 17:58||Please send your corrections to:|