论文信息 - Decidable theories of preordered fields - 字舞流文

Decidable theories of preordered fields

Alexander Prestel

[1] E. Becker,et al. Reduzierte quadratische Formen und Semiordnungen reeller Körper , 1977 .

[2] A. Robinson. Introduction to model theory and to the metamathematics of algebra , 1964 .

[3] G. Cherlin. Model theoretic algebra: Selected topics , 1976 .

[4] Laurentius Petrus Dignus van den Dries. Model theory of fields : decidability, and bounds for polynomial ideals , 1978 .

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

[6] Alexander Prestel. Pseudo real closed fields , 1981 .

[7] A. Tarski. A Decision Method for Elementary Algebra and Geometry , 2023 .

[8] Gregory L. Cherlin,et al. Model Theoretic Algebra , 1976, Journal of Symbolic Logic.

[9] G. A. Dirac,et al. Moderne Algebra. I , 1951 .