Fundamental theorems of analysis in formally real fields

MaRDI QIDQ3069393zbMATH OpenFDO

Authors Žarko Mijajlović, Angelina Ilić-Stepić

Publication date 25 January 2011

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

zbMATH Keywords

elimination of quantifiersformally real fieldfundamental theorem of analysisreal closed field

Mathematics Subject Classification ID

Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Model theory of fields (12L12) Foundations: limits and generalizations, elementary topology of the line (26A03)

Recommendations

• Quantifier elimination for quasi-real closed fields
• scientific article; zbMATH DE number 4158613
• Real closed valued fields with analytic structure
• A Linearly Ordered Ring whose Theory Admits Elimination of Quantifiers is a Real Closed Field
• scientific article; zbMATH DE number 1336414

Cited in

(1)

• scientific article; zbMATH DE number 2074345 (Why is no real title available?)

This page was built for publication: Fundamental theorems of analysis in formally real fields

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