A strict Positivstellensatz for rings of definable analytic functions

DOI10.1090/S0002-9939-2012-11361-9zbMath1270.03058MaRDI QIDQ4911843

Andreas Fischer

Publication date: 20 March 2013

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

zbMATH Keywords

Positivstellensatz; smooth functions; polynomially bounded structure; continuous definable function; definable analytic functions

Mathematics Subject Classification ID

14P10: Semialgebraic sets and related spaces

26E10: (C^infty)-functions, quasi-analytic functions

03C64: Model theory of ordered structures; o-minimality

13J30: Real algebra

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Positivstellensätze for differentiable functions
• The \(K\)-moment problem for compact semi-algebraic sets
• The strict Positivstellensatz for global analytic functions and the moment problem for semianalytic sets
• The Positivstellensatz for definable functions on o-minimal structures
• Geometric categories and o-minimal structures
• Anneaux preordonnes
• A Nullstellensatz and a Positivstellensatz in semialgebraic geometry
• Approximation Theorems for Nash Mappings and Nash Manifolds
• Expansions of dense linear orders with the intermediate value property
• Quasianalytic Denjoy-Carleman classes and o-minimality
• Infinite Differentiability in Polynomially Bounded O-Minimal Structures