Quantifier elimination versus Hilbert's seventeenth problem

MaRDI QIDQ5104333zbMATH OpenFDO

Authors Marie-Françoise Roy

Publication date 9 September 2022

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Quantifier elimination, model completeness, and related topics (03C10) Model theory of ordered structures; o-minimality (03C64) History of field theory (12-03) Topological fields (12Jxx) History of algebraic geometry (14-03) Real algebraic and real-analytic geometry (14Pxx)

Recommendations

• De D. Hilbert à E. Artin: Les différents aspects du dix-septième problème et les filiations conceptuelles de la théorie des corps réels clos
• scientific article; zbMATH DE number 4202480
• scientific article; zbMATH DE number 3918343
• scientific article; zbMATH DE number 2182805
• scientific article; zbMATH DE number 3954881

Cited in

(1)

• De D. Hilbert à E. Artin: Les différents aspects du dix-septième problème et les filiations conceptuelles de la théorie des corps réels clos

This page was built for publication: Quantifier elimination versus Hilbert's seventeenth problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5104333)