Heirs of box types in polynomially bounded structures
نویسنده
چکیده
We characterize heirs of so called box types of a polynomially bounded o-minimal structure M . A box type is an n-type of M which is uniquely determined by the projections to the coordinate axes. From this, we deduce various structure theorems for subsets of M, definable in the expansion M of M by all convex subsets of the line. Moreover we obtain a model completeness result for M .
منابع مشابه
Polynomially bounded solutions of the Loewner differential equation in several complex variables
We determine the form of polynomially bounded solutions to the Loewner differential equation that is satisfied by univalent subordination chains of the form $f(z,t)=e^{int_0^t A(tau){rm d}tau}z+cdots$, where $A:[0,infty]rightarrow L(mathbb{C}^n,mathbb{C}^n)$ is a locally Lebesgue integrable mapping and satisfying the condition $$sup_{sgeq0}int_0^inftyleft|expleft{int_s^t [A(tau)...
متن کاملInfinite Peano Differentiable Functions in Polynomially Bounded O-minimal Structures
Let R be an o-minimal expansion of a real closed field. We show that the definable infinitely Peano differentiable functions are smooth if and only if R is polynomially bounded.
متن کاملPluriregularity in Polynomially Bounded O–minimal Structures
Given a polynomially bounded o–minimal structure S and a set A ⊂ R belonging to S, we show that A (considered as a subset of C) is pluriregular at every point a ∈ intA that can be attained by a C∞ arc γ : [0, ] → R belonging to S, such that γ(0) = a and γ((0, ]) ⊂ intA. In particular, if S is a recently found in [22] polynomially bounded o–minimal structure of quasianalytic functions in the sen...
متن کاملInfinitely Peano differentiable functions in polynomially bounded o-minimal structures
Let R be an o-minimal expansion of a real closed field. We show that the definable infinitely Peano differentiable functions are smooth if and only if R is polynomially bounded.
متن کاملLocally polynomially bounded structures
We prove a theorem which provides a method for constructing points on varieties defined by certain smooth functions. We require that the functions are definable in a definably complete expansion of a real closed field and are locally definable in a fixed o-minimal and polynomially bounded reduct. As an application we show that in certain o-minimal structures definable functions are piecewise im...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Log.
دوره 74 شماره
صفحات -
تاریخ انتشار 2009