scientific article
From MaRDI portal
Publication:4001954
zbMath0792.13012MaRDI QIDQ4001954
Publication date: 18 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
decidabilitymodel companionPrüfer domainsreal valuation ringsradical relationexistentially closed real holomorphy rings
Model-theoretic algebra (03C60) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Decidability of theories and sets of sentences (03B25) Valuations and their generalizations for commutative rings (13A18) Applications of logic to commutative algebra (13L05) Model theory of fields (12L12)
This page was built for publication: