Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl

PL EN

Preferencje
Język
Widoczny [Schowaj] Abstrakt
Liczba wyników
• # Artykuł - szczegóły

## Annales Polonici Mathematici

2007 | 92 | 1 | 75-85

## A proof of the valuation property and preparation theorem

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.

75-85

wydano
2007

### Twórcy

autor
• Institute of Mathematics, Jagiellonian University, Reymonta 4, 30-059 Kraków, Poland