A positivstellensatz for chain-closed fields, R((t)) and some related fields

DOI10.1007/BF01246741MaRDI QIDQ802672zbMATH OpenFDO

Authors Rafel Farré

Publication date 1991

Published in Archiv der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01246741

zbMATH Keywords

Artin-Schreier positivstellensatzAx-Kochen-Ershov Theoremchain closed fieldsmodel-completenessordered fieldrational fractions

Mathematics Subject Classification ID

Ordered fields (12J15) Model theory of fields (12L12)

Review text

The author develops an analogue to the Artin-Schreier positivstellensatz for the field \({\mathbb{R}}((t))\) and the chain closed fields introduced by Harman. These fields carry exactly two different orders. The author characterizes the rational fractions over these fields taking positive values where defined for one of its orders. In addition to sums of squares, other rational fractions turn out to be positive where defined. There are characterized also the rational fractions taking positive values for both orders. The proof is a combination of algebraic and model theoretic methods, in particular the concept of model-completeness and the Ax-Kochen-Ershov Theorem play a crucial role in the proof.

Recommendations

• Positivstellensatz for semi-algebraic sets in real closed valued fields
• Null- and Positivstellensätze for generalized real closed fields
• From an Elementary Result on Real Closed Fields to Positive Operators on Ordered Fields
• A nullstellensatz and a positivstellensatz for ordered differential fields
• A Positivstellensatz for rings of continuous functions
• A strict Positivstellensatz for enveloping algebras
• Une généralisation du Positivstellensatz pour les corps valués algébriquement clos
• Constructive proofs of some positivstellensätze for compact semialgebraic subsets of \(\mathbb R^{d }\)
• scientific article; zbMATH DE number 4160894

Cites work

• A nullstellensatz for ℝ((t))
• Chain signatures and real closures.
• Chains of higher level orderings
• Elementary Properties of Ordered Abelian Groups
• scientific article; zbMATH DE number 3873481 (Why is no real title available?)
• scientific article; zbMATH DE number 3518914 (Why is no real title available?)
• scientific article; zbMATH DE number 3803567 (Why is no real title available?)
• The model theory of chain-closed fields
• The model theory of generalized real closed fields.
• Valuation theory
• XVIIeme Probleme de Hilbert sur les Corps Chaine-Clos

Cited in

(3)

• Null- and Positivstellensätze for generalized real closed fields
• 0-D-valued fields
• Henselian residually \(p\)-adically closed fields

This page was built for publication: A positivstellensatz for chain-closed fields, \({\mathbb{R}}((t))\) and some related fields

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