The purpose of this paper is to extend a theorem of Speissegger [J. Reine Angew. Math. 508 (1999)], which states that the Pfaffian closure of an o-minimal expansion of the real field is o-minimal. Specifically, we display a collection of properties possessed by the real numbers that suffices for a version of the proof of this theorem to go through. The degree of flexibility revealed in this study permits the use of certain model-theoretic arguments for the first time, e.g. the compactness theorem....

This paper deals with the mathematics of the Markowitz theory of portfolio management. Let E and V be two homogeneous functions defined on ℝⁿ, the first linear, the other positive definite quadratic. Furthermore let Δ be a simplex contained in ℝⁿ (the set of admissible portfolios), for example Δ : x₁+ ... + xₙ = 1, $x_i\ge 0$. Our goal is to investigate the properties of the restricted mappings (V,E):Δ → ℝ² (the so called Markowitz mappings) and to classify them. We introduce the notion of a generic model...

Let $C$ be a smooth real quartic curve in ${\mathbb{P}}^2$. Suppose that $C$ has at least $3$ real branches $B_1,B_2,B_3$. Let $B=B_1\times B_2\times B_3$ and let $O\in B$. Let ${\tau }_O$ be the map from $B$ into the neutral component Jac$\left(C\right){\left(ℝ\right)}^0$ of the set of real points of the jacobian of $C$, defined by letting ${\tau }_O\left(P\right)$ be the divisor class of the divisor $\sum P_i-O_i$. Then, ${\tau }_O$ is a bijection. We show that this allows an explicit geometric description of the group law on Jac$\left(C\right){\left(ℝ\right)}^0$. It generalizes the classical geometric description of the group law on the neutral component of the set of real points of...

A continuous linear extension operator, different from Whitney’s, for ${𝒞}^p$-Whitney fields (p finite) on a closed o-minimal subset of ${ℝ}^n$ is constructed. The construction is based on special geometrical properties of o-minimal sets earlier studied by K. Kurdyka with the author.

In this note we bind together Wilkie's complement theorem with Lion's theorem on geometric, regular and 0-regular families of functions.

We demonstrate that the composite function theorems of Bierstone-Milman-Pawłucki and of Glaeser carry over to any polynomially bounded, o-minimal structure which admits smooth cell decomposition. Moreover, the assumptions of the o-minimal versions can be considerably relaxed compared with the classical analytic ones.

It is shown that every connected global Nash subvariety of ${\mathbb{R}}^n$ is Nash isomorphic to a connected component of an algebraic variety that, in the compact case, can be chosen with only two connected components arbitrarily near each other. Some examples which state the limits of the given results and of the used tools are provided.

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...

Let K be an ordered field and R its real closure. A semipolynomial will be defined as a function from Rn to R obtained by composition of polynomial functions and the absolute value. Every semipolynomial can be defined as a straight-line program containing only instructions with the following type: polynomial, absolute value, sup and inf and such a program will be called a semipolynomial expression. It will be proved, using the ordinary real positivstellensatz, a general real positivstellensatz concerning...

Classical Lüroth theorem states that every subfield K of K(t), where t is a transcendental element over K, such that K strictly contains K, must be K = K(h(t)), for some non constant element h(t) in K(t). Therefore, K is K-isomorphic to K(t). This result can be proved with elementary algebraic techniques, and therefore it is usually included in basic courses on field theory or algebraic curves. In this paper we study the validity of this result under weaker assumptions: namely, if K is a subfield...

We show that for a polynomial mapping $F=(f₁,...,fₘ):{ℂ}^n\to {ℂ}^m$ the Łojasiewicz exponent ${}_{\infty }\left(F\right)$ of F is attained on the set $z\in {ℂ}^n:f₁\left(z\right)·...·fₘ\left(z\right)=0$.

Consider a transitive definable action of a Lie group G on a definable manifold M. Given two (locally) definable subsets A and B of M, we prove that the dimension of the intersection σ(A) ∩ B is not greater than the expected one for a generic σ ∈ G.