Real Algebraic and Analytic Geometry

Preprint Server

Previous   Next
278. Andreas Fischer:
Positivstellensštze for families of definable functions.


Submission: 2009, April 11.

We present a canonical proof of both the strict and weak Positivstellensatz for rings of differentiable and smooth functions. The construction preserves definability in expansions of the real field, and it works in definably complete expansions of real closed fields as well as for real-valued functions on Banach spaces.

Keywords and Phrases: Positivstellensatz, differentiable and smooth function, definably complete structure, Banach space.

Full text, 7p.: dvi 33k, ps.gz 136k, pdf 166k.

Server Home Page