Evaluation fields for power series II. The Reelnullstellensatz

DOI10.1016/0021-8693(79)90218-7zbMath0479.14002OpenAlexW4206092810MaRDI QIDQ1161565

Joel W. Robbin

Publication date: 1979

Published in: Journal of Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0021-8693(79)90218-7

zbMATH Keywords

Hilbert's 17th problemreal closed fieldpower series ringstransfer principleevaluation fieldsRueckert Nullstellensatz

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Applications of logic to commutative algebra (13L05) Formal power series rings (13F25) Relevant commutative algebra (14A05) Power series rings (13J05) Real and complex fields (12D99) Elementary questions in algebraic geometry (14A25)

Cites Work

• Local reality on algebraic varieties
• A nullstellensatz for ordered fields
• Decision procedures for real and p‐adic fields
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Evaluation fields for power series II. The Reelnullstellensatz