Positivstellensatz for semi-algebraic sets in real closed valued fields

DOI10.1090/PROC/12595zbMATH Open1386.12002arXiv1101.5872OpenAlexW2963761243MaRDI QIDQ2944800FDOQ2944800

Authors: Noa Lavi 

Publication date: 8 September 2015

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

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.

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

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

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)

Cites Work

• Title not available (Why is that?)
• Lectures on formally real fields
• Title not available (Why is that?)
• Real closed rings. II. Model theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• On ordered fields and definite functions

Cited In (8)

• Null- and Positivstellensätze for generalized real closed fields
• GANZSTELLENSÄTZE IN THEORIES OF VALUED FIELDS
• Title not available (Why is that?)
• 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)