Publication:3069393

zbMath1224.12012MaRDI QIDQ3069393

Žarko Mijajlović, Angelina Ilić Stepić

Publication date: 25 January 2011

Full work available at URL: https://eudml.org/doc/231669

zbMATH Keywords

formally real field; elimination of quantifiers; real closed field; fundamental theorem of analysis

Mathematics Subject Classification ID

12D15: Fields related with sums of squares (formally real fields, Pythagorean fields, etc.)

26A03: Foundations: limits and generalizations, elementary topology of the line

12L12: Model theory of fields