Positivstellensatz for semi-algebraic sets in real closed valued fields

DOI10.1090/PROC/12595MaRDI QIDQ2944800zbMATH OpenOpenAlexFDO

Authors Noa Lavi

Publication date 8 September 2015

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1101.5872

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of ordered structures; o-minimality (03C64) Semialgebraic sets and related spaces (14P10) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15)

Abstract: The purpose of this paper is to give a characterization for polynomials and rational functions which admit only non-negative values on definable sets in real closed valued fields. That is, generalizing the relative positivstellens"atze for sets defined also by valuation terms. For this, we use model theoretic tools, together with existence of canonical valuations.

Recommendations

• Une généralisation du Positivstellensatz pour les corps valués algébriquement clos
• A real Nullstellensatz and Positivstellensatz for the semipolynomials over an ordered field
• GANZSTELLENSÄTZE IN THEORIES OF VALUED FIELDS
• The Positivstellensatz for definable functions on o-minimal structures
• A Ganzstellensatz for Semialgebraic Sets and a Boundedness Criterion for Rational Functions

Cites work

• scientific article; zbMATH DE number 1601019 (Why is no real title available?)
• scientific article; zbMATH DE number 3706581 (Why is no real title available?)
• scientific article; zbMATH DE number 3556228 (Why is no real title available?)
• scientific article; zbMATH DE number 3053259 (Why is no real title available?)
• Lectures on formally real fields
• On ordered fields and definite functions
• Real closed rings. II. Model theory

Cited in

(8)

• Null- and Positivstellensätze for generalized real closed fields
• GANZSTELLENSÄTZE IN THEORIES OF VALUED FIELDS
• scientific article; zbMATH DE number 589351 (Why is no real title available?)
• Analytic nullstellensätze and the model theory of valued fields
• The Positivstellensatz for definable functions on o-minimal structures
• A Ganzstellensatz for Semialgebraic Sets and a Boundedness Criterion for Rational Functions
• Une généralisation du Positivstellensatz pour les corps valués algébriquement clos
• A positivstellensatz for chain-closed fields, \({\mathbb{R}}((t))\) and some related fields

This page was built for publication: Positivstellensatz for semi-algebraic sets in real closed valued fields

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