Evaluation fields for power series II. The Reelnullstellensatz

DOI10.1016/0021-8693(79)90218-7zbMATH Open0479.14002OpenAlexW4206092810MaRDI QIDQ1161565FDOQ1161565

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

• Title not available (Why is that?)
• Local reality on algebraic varieties
• A nullstellensatz for ordered fields
• Decision procedures for real and p‐adic fields
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)