PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2007 | 92 | 1 | 75-85
Tytuł artykułu

A proof of the valuation property and preparation theorem

Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
The purpose of this article is to present a short model-theoretic proof of the valuation property for a polynomially bounded o-minimal theory T. The valuation property was conjectured by van den Dries, and proved for the polynomially bounded case by van den Dries-Speissegger and for the power bounded case by Tyne. Our proof uses the transfer principle for the theory $T_{conv}$ (i.e. T with an extra unary symbol denoting a proper convex subring), which-together with quantifier elimination-is due to van den Dries-Lewenberg. The main tools applied here are saturation, the Marker-Steinhorn theorem on parameter reduction and heir-coheir amalgams.
The significance of the valuation property lies to a great extent in its geometric content: it is equivalent to the preparation theorem which says, roughly speaking, that every definable function of several variables depends piecewise on any fixed variable in a certain simple fashion. The latter originates in the work of Parusiński for subanalytic functions, and of Lion-Rolin for logarithmic-exponential functions. Van den Dries-Speissegger have proved the preparation theorem in the o-minimal setting (for functions definable in a polynomially bounded structure or logarithmic-exponential over such a structure). Also, the valuation property makes it possible to establish quantifier elimination for polynomially bounded expansions of the real field ℝ with exponential function and logarithm.
Słowa kluczowe
Twórcy
  • Institute of Mathematics, Jagiellonian University, Reymonta 4, 30-059 Kraków, Poland
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.bwnjournal-article-doi-10_4064-ap92-1-8
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.