Displaying similar documents to “A proof of the valuation property and preparation theorem”

Real closed exponential fields

Paola D'Aquino, Julia F. Knight, Salma Kuhlmann, Karen Lange (2012)

Fundamenta Mathematicae

Similarity:

Ressayre considered real closed exponential fields and “exponential” integer parts, i.e., integer parts that respect the exponential function. In 1993, he outlined a proof that every real closed exponential field has an exponential integer part. In the present paper, we give a detailed account of Ressayre’s construction and then analyze the complexity. Ressayre’s construction is canonical once we fix the real closed exponential field R, a residue field section k, and a well ordering...

O-minimal version of Whitney's extension theorem

Krzysztof Kurdyka, Wiesław Pawłucki (2014)

Studia Mathematica

Similarity:

This is a generalized and improved version of our earlier article [Studia Math. 124 (1997)] on the Whitney extension theorem for subanalytic p -Whitney fields (with p finite). In this new version we consider Whitney fields definable in an arbitrary o-minimal structure on any real closed field R and obtain an extension which is a p -function definable in the same o-minimal structure. The Whitney fields that we consider are defined on any locally closed definable subset of Rⁿ. In such a...

Quantifier elimination, valuation property and preparation theorem in quasianalytic geometry via transformation to normal crossings

Krzysztof Jan Nowak (2009)

Annales Polonici Mathematici

Similarity:

This paper investigates the geometry of the expansion Q of the real field ℝ by restricted quasianalytic functions. The main purpose is to establish quantifier elimination, description of definable functions by terms, the valuation property and preparation theorem (in the sense of Parusiński-Lion-Rolin). To this end, we study non-standard models of the universal diagram T of Q in the language ℒ augmented by the names of rational powers. Our approach makes no appeal to the Weierstrass...

O-minimal fields with standard part map

Jana Maříková (2010)

Fundamenta Mathematicae

Similarity:

Let R be an o-minimal field and V a proper convex subring with residue field k and standard part (residue) map st: V → k. Let k i n d be the expansion of k by the standard parts of the definable relations in R. We investigate the definable sets in k i n d and conditions on (R,V) which imply o-minimality of k i n d . We also show that if R is ω-saturated and V is the convex hull of ℚ in R, then the sets definable in k i n d are exactly the standard parts of the sets definable in (R,V).

Definable stratification satisfying the Whitney property with exponent 1

Beata Kocel-Cynk (2007)

Annales Polonici Mathematici

Similarity:

We prove that for a finite collection of sets A , . . . , A s k + n definable in an o-minimal structure there exists a compatible definable stratification such that for any stratum the fibers of its projection onto k satisfy the Whitney property with exponent 1.

The minimal resultant locus

Robert Rumely (2015)

Acta Arithmetica

Similarity:

Let K be a complete, algebraically closed nonarchimedean valued field, and let φ(z) ∈ K(z) have degree d ≥ 2. We study how the resultant of φ varies under changes of coordinates. For γ ∈ GL₂(K), we show that the map γ o r d ( R e s ( φ γ ) ) factors through a function o r d R e s φ ( · ) on the Berkovich projective line, which is piecewise affine and convex up. The minimal resultant is achieved either at a single point in P ¹ K , or on a segment, and the minimal resultant locus is contained in the tree in P ¹ K spanned by the fixed points...

Expansions of o-minimal structures by sparse sets

Harvey Friedman, Chris Miller (2001)

Fundamenta Mathematicae

Similarity:

Given an o-minimal expansion ℜ of the ordered additive group of real numbers and E ⊆ ℝ, we consider the extent to which basic metric and topological properties of subsets of ℝ definable in the expansion (ℜ,E) are inherited by the subsets of ℝ definable in certain expansions of (ℜ,E). In particular, suppose that f ( E m ) has no interior for each m ∈ ℕ and f : m definable in ℜ, and that every subset of ℝ definable in (ℜ,E) has interior or is nowhere dense. Then every subset of ℝ definable in (ℜ,(S))...

A note on minimal zero-sum sequences over ℤ

Papa A. Sissokho (2014)

Acta Arithmetica

Similarity:

A zero-sum sequence over ℤ is a sequence with terms in ℤ that sum to 0. It is called minimal if it does not contain a proper zero-sum subsequence. Consider a minimal zero-sum sequence over ℤ with positive terms a , . . . , a h and negative terms b , . . . , b k . We prove that h ≤ ⌊σ⁺/k⌋ and k ≤ ⌊σ⁺/h⌋, where σ = i = 1 h a i = - j = 1 k b j . These bounds are tight and improve upon previous results. We also show a natural partial order structure on the collection of all minimal zero-sum sequences over the set i∈ ℤ : -n ≤ i ≤ n for any positive...

Constructibility in Ackermann's set theory

C. Alkor

Similarity:

CONTENTSIntroduction......................... 5Section I. Preliminaries............ 6 § 1. Notation..................... 6 § 2. Ackermann’s set theory and some extensions................. 7 § 3. Absoluteness............................................... 8 § 4. Ordinals................................................... 9 § 5. Reflection principles...................................... 10Section 2. The usual notion of constructibility.............. 11 § 1. General considerations about...

Density of Morse functions on sets definable in o-minimal structures

Ta Lê Loi (2006)

Annales Polonici Mathematici

Similarity:

We present a tameness property of sets definable in o-minimal structures by showing that Morse functions on a definable closed set form a dense and open subset in the space of definable C p functions endowed with the Whitney topology.

A note on generalized projections in c₀

Beata Deręgowska, Barbara Lewandowska (2014)

Annales Polonici Mathematici

Similarity:

Let V ⊂ Z be two subspaces of a Banach space X. We define the set of generalized projections by V ( X , Z ) : = P ( X , Z ) : P | V = i d . Now let X = c₀ or l m , Z:= kerf for some f ∈ X* and V : = Z l (n < m). The main goal of this paper is to discuss existence, uniqueness and strong uniqueness of a minimal generalized projection in this case. Also formulas for the relative generalized projection constant and the strong uniqueness constant will be given (cf. J. Blatter and E. W. Cheney [Ann. Mat. Pura Appl. 101 (1974), 215-227] and...

A uniform dichotomy for generic SL ( 2 , ) cocycles over a minimal base

Artur Avila, Jairo Bochi (2007)

Bulletin de la Société Mathématique de France

Similarity:

We consider continuous SL ( 2 , ) -cocycles over a minimal homeomorphism of a compact set K of finite dimension. We show that the generic cocycle either is uniformly hyperbolic or has uniform subexponential growth.

Some notes on the composite G -valuations

Angeliki Kontolatou (1994)

Archivum Mathematicum

Similarity:

In analogy with the notion of the composite semi-valuations, we define the composite G -valuation v from two other G -valuations w and u . We consider a lexicographically exact sequence ( a , β ) : A u B v C w and the composite G -valuation v of a field K with value group B v . If the assigned to v set R v = { x K / v ( x ) 0 or v ( x ) non comparable to 0 } is a local ring, then a G -valuation w of K into C w is defined with its assigned set R w a local ring, as well as another G -valuation u of a residue field is defined with G -value group A u . ...

Elliptic functions, area integrals and the exponential square class on B₁(0) ⊆ ℝⁿ, n > 2

Caroline Sweezy (2004)

Studia Mathematica

Similarity:

For two strictly elliptic operators L₀ and L₁ on the unit ball in ℝⁿ, whose coefficients have a difference function that satisfies a Carleson-type condition, it is shown that a pointwise comparison concerning Lusin area integrals is valid. This result is used to prove that if L₁u₁ = 0 in B₁(0) and S u L ( S n - 1 ) then u | S n - 1 = f lies in the exponential square class whenever L₀ is an operator so that L₀u₀ = 0 and S u L implies u | S n - 1 is in the exponential square class; here S is the Lusin area integral. The exponential...

Zero-set property of o-minimal indefinitely Peano differentiable functions

Andreas Fischer (2008)

Annales Polonici Mathematici

Similarity:

Given an o-minimal expansion ℳ of a real closed field R which is not polynomially bounded. Let denote the definable indefinitely Peano differentiable functions. If we further assume that ℳ admits cell decomposition, each definable closed subset A of Rⁿ is the zero-set of a function f:Rⁿ → R. This implies approximation of definable continuous functions and gluing of functions defined on closed definable sets.

On some properties of three-dimensional minimal sets in 4

Tien Duc Luu (2013)

Annales de la faculté des sciences de Toulouse Mathématiques

Similarity:

We prove in this paper the Hölder regularity of Almgren minimal sets of dimension 3 in 4 around a 𝕐 -point and the existence of a point of particular type of a Mumford-Shah minimal set in 4 , which is very close to a 𝕋 . This will give a local description of minimal sets of dimension 3 in 4 around a singular point and a property of Mumford-Shah minimal sets in 4 .

Ramification of the Gauss map of complete minimal surfaces in 3 and 4 on annular ends

Gerd Dethloff, Pham Hoang Ha (2014)

Annales de la faculté des sciences de Toulouse Mathématiques

Similarity:

In this article, we study the ramification of the Gauss map of complete minimal surfaces in 3 and 4 on annular ends. We obtain results which are similar to the ones obtained by Fujimoto ([4], [5]) and Ru ([13], [14]) for (the whole) complete minimal surfaces, thus we show that the restriction of the Gauss map to an annular end of such a complete minimal surface cannot have more branching (and in particular not avoid more values) than on the whole complete minimal surface. We thus give...

Minimal actions of homeomorphism groups

Yonatan Gutman (2008)

Fundamenta Mathematicae

Similarity:

Let X be a closed manifold of dimension 2 or higher or the Hilbert cube. Following Uspenskij one can consider the action of Homeo(X) equipped with the compact-open topology on Φ 2 2 X , the space of maximal chains in 2 X , equipped with the Vietoris topology. We show that if one restricts the action to M ⊂ Φ, the space of maximal chains of continua, then the action is minimal but not transitive. Thus one shows that the action of Homeo(X) on U H o m e o ( X ) , the universal minimal space of Homeo(X), is not transitive...