Let KK be a subfield of RR. The theory of RR viewed as an ordered KK-vector space and expanded by a predicate for ZZ is decidable if and only if KK is a real quadratic field.
生成讲解博客的中文版本
生成AI智能校验的中文版本