Model theory of fields: An application to positive semidefinite polynomials
DOI10.24033/msmf.312zbMath0577.12018OpenAlexW2584126207MaRDI QIDQ3698900
Publication date: 1984
Published in: Mémoires de la Société mathématique de France (Search for Journal in Brave)
Full work available at URL: http://www.numdam.org/item?id=MSMF_1984_2_16__53_0
numbersordering of higher levelreal closed fieldmodel completenessrational function fieldnon-standard
Model-theoretic algebra (03C60) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Ordered fields (12J15) Model theory of fields (12L12) Nonstandard arithmetic and field theory (12L15)
Related Items (2)
Cites Work
This page was built for publication: Model theory of fields: An application to positive semidefinite polynomials