The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “A decomposition of a set definable in an o-minimal structure into perfectly situated sets”

On definably proper maps

Mário J. Edmundo, Marcello Mamino, Luca Prelli (2016)

Fundamenta Mathematicae

Similarity:

In this paper we work in o-minimal structures with definable Skolem functions, and show that: (i) a Hausdorff definably compact definable space is definably normal; (ii) a continuous definable map between Hausdorff locally definably compact definable spaces is definably proper if and only if it is a proper morphism in the category of definable spaces. We give several other characterizations of definably proper, including one involving the existence of limits of definable types. We also...

A theorem on generic intersections in an o-minimal structure

Krzysztof Jan Nowak (2014)

Fundamenta Mathematicae

Similarity:

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.

Directional properties of sets definable in o-minimal structures

Satoshi Koike, Ta Lê Loi, Laurentiu Paunescu, Masahiro Shiota (2013)

Annales de l’institut Fourier

Similarity:

In a previous paper by Koike and Paunescu, it was introduced the notion of direction set for a subset of a Euclidean space, and it was shown that the dimension of the common direction set of two subanalytic subsets, called , is preserved by a bi-Lipschitz homeomorphism, provided that their images are also subanalytic. In this paper we give a generalisation of the above result to sets definable in an o-minimal structure on an arbitrary real closed field. More precisely, we first prove...

Minimality of non-σ-scattered orders

Tetsuya Ishiu, Justin Tatch Moore (2009)

Fundamenta Mathematicae

Similarity:

We will characterize-under appropriate axiomatic assumptions-when a linear order is minimal with respect to not being a countable union of scattered suborders. We show that, assuming PFA⁺, the only linear orders which are minimal with respect to not being σ-scattered are either Countryman types or real types. We also outline a plausible approach to demonstrating the relative consistency of: There are no minimal non-σ-scattered linear orders. In the process of establishing these results,...

A first-order version of Pfaffian closure

Sergio Fratarcangeli (2008)

Fundamenta Mathematicae

Similarity:

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

Hölder regularity of two-dimensional almost-minimal sets in ℝ n

Guy David (2009)

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

Similarity:

We give a different and probably more elementary proof of a good part of Jean Taylor’s regularity theorem for Almgren almost-minimal sets of dimension 2 in ℝ 3 . We use this opportunity to settle some details about almost-minimal sets, extend a part of Taylor’s result to almost-minimal sets of dimension 2 in ℝ n , and give the expected characterization of the closed sets E of dimension 2 in ℝ 3 that are minimal, in the sense that H 2 ( E ∖ F ) ≤ H 2 ( F ∖ E ) for every closed set F such that there is a bounded set B so...

C 1 -minimal subsets of the circle

Dusa McDuff (1981)

Annales de l'institut Fourier

Similarity:

Necessary conditions are found for a Cantor subset of the circle to be minimal for some C 1 -diffeomorphism. These conditions are not satisfied by the usual ternary Cantor set.