Evaluation fields for power series II. The Reelnullstellensatz

DOI10.1016/0021-8693(79)90218-7MaRDI QIDQ1161565zbMATH OpenOpenAlexFDO

Authors 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

real closed fieldpower series ringstransfer principleHilbert's 17th problemevaluation fieldsRueckert Nullstellensatz

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 3142931 (Why is no real title available?)
• scientific article; zbMATH DE number 3463796 (Why is no real title available?)
• scientific article; zbMATH DE number 3569453 (Why is no real title available?)
• scientific article; zbMATH DE number 3335712 (Why is no real title available?)
• scientific article; zbMATH DE number 3342953 (Why is no real title available?)
• scientific article; zbMATH DE number 3373897 (Why is no real title available?)
• scientific article; zbMATH DE number 3397663 (Why is no real title available?)
• A nullstellensatz for ordered fields
• Decision procedures for real and p‐adic fields
• Local reality on algebraic varieties

Cited in

(1)

• Analytic nullstellensätze and the model theory of valued fields

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

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