论文信息 - The field of reals with a predicate for the powers of two - 字舞流文

The field of reals with a predicate for the powers of two

Lou van den Dries | L. Dries

[1] Alexander Prestel,et al. Lectures On Formally Real Fields , 1976 .

[2] L. Dries. Remarks on Tarski's problem concerning (R, +, *, exp) , 1984 .

[3] Lou van den Dries,et al. Algebraic Theories with Definable Skolem Functions , 1984, J. Symb. Log..