Hilbert's 17th Problem for Real Closed Rings
From MaRDI portal
Publication:4315321
DOI10.1002/MALQ.19940400403zbMath0820.03021OpenAlexW2046343490MaRDI QIDQ4315321
Publication date: 8 December 1994
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19940400403
positive definite polynomialreal closed ringrigiddenseHilbert propertyinductiveconvexly ordered valuation ringformally real valuation rings
Model-theoretic algebra (03C60) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Applications of logic to commutative algebra (13L05)
Related Items (1)
This page was built for publication: Hilbert's 17th Problem for Real Closed Rings