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

evaluation fieldsHilbert's 17th problempower series ringsreal closed fieldRueckert Nullstellensatztransfer principle

Mathematics Subject Classification ID

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

Cites work

• A nullstellensatz for ordered fields
• Decision procedures for real and p‐adic fields
• 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?)
• 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)