Related papers: Michael's selection theorem in general d-minimal s…

For a given d-minimal expansion $\mathfrak R$ of the ordered real field, we consider the expansion $\mathfrak R^\natural$ of $\mathfrak R$ generated by the sets of the form $\bigcup_{S \in \mathcal C}S$, where $\mathcal C$ is a subfamily of…

Michael's selection theorem implies that a closed convex nonempty-valued mapping from the Sorgenfrey line to a euclidean space is inner semicontinuous if and only if the mapping can be represented as the image closure of right-continuous…

The famous Michael selection theorem deals with the characterisation of paracompact spaces by continuous selections of lower semi-continuous mappings in Banach spaces. In this paper, we will discuss several equivalent forms of this theorem,…

Given an o-minimal structure ${\mathcal M}$ with a group operation, we show that for a properly convex subset $U$, the theory of the expanded structure ${\mathcal M}'=({\mathcal M},U)$ has definable Skolem functions precisely when…

We consider d-minimal expansions of ordered fields. We demonstrate the existence of definable quotients of definable sets by definable equivalence relations when several technical conditions are satisfied. These conditions are satisfied…

We study d-minimal expansions of ordered fields, and dense pairs thereof. We also consider other generalizations of o-minimality.

We first show that the projection image of a discrete definable set is again discrete for an arbitrary definably complete locally o-minimal structure. This fact together with the results in a previous paper implies tame dimension theory and…

We demonstrate that the classical Michael selection theorem for l.s.c. mappings with a collectionwise normal domain can be reduced only to compact-valued mappings modulo Dowker's extension theorem for such spaces. The idea used to achieve…

We prove that for an o-minimal expansion of the real additive group $\cal R$ and a set $P\subseteq \mathbb{R}$ of dimension $0$ such that $\langle\mathcal{R},P\rangle$ is sparse, has definable choice and every definable set has interior or…

We establish the choice property, a weak analogue of definable choice, for certain tame expansions of o-minimal structures. Most noteworthily, dense pairs of real closed fields have this property.

Consider a definable complete d-minimal expansion $(F, <, +, \cdot, 0, 1, \dots,)$ of an oredered field $F$. Let $X$ be a definably compact definably normal definable $C^r$ manifold and $2 \le r <\infty$. We prove that the set of definable…

We study sets and groups definable in tame expansions of o-minimal structures. Let $\mathcal {\widetilde M}= \langle \mathcal M, P\rangle$ be an expansion of an o-minimal $\mathcal L$-structure $\cal M$ by a dense set $P$, such that three…

Let $T$ be a theory with a definable topology. $T$ is t-minimal in the sense of Mathews if every definable set in one variable has finite boundary. If $T$ is t-minimal, we show that there is a good dimension theory for definable sets,…

Definable topological groups whose topologies are affine have definable $\mathcal C^r$ structures in d-minimal expansions of ordered fields, where $r$ is a positive integer. We prove this fact using a new notion called partition degree of a…

A visceral structure on M is given by a definable base for a uniform topology on its universe in which all basic open sets are infinite and any infinite definable subset X of M has non-empty interior. This context includes o-minimal ordered…

The Mar\'echal topology, also called the Effros-Mar\'echal topology, is a natural topology one can put on the space of all von Neumann subalgebras of a given von Neumann algebra. It is a result of Mar\'echal from 1973 that this topology is…

We study groups and rings definable in d-minimal expansions of ordered fields. We generalize to such objects some known results from o-minimality. In particular, we prove that we can endow a definable group with a definable topology making…

We prove the following theorem: let $\widetilde{\mathcal R}$ be an expansion of the real field $\overline{\mathbb R}$, such that every definable set (I) is a uniform countable union of semialgebraic sets, and (II) contains a "semialgebraic…

We analyze definably compact groups in o-minimal expansions of ordered groups as a combination of semi-linear groups and groups definable in o-minimal expansions of real closed fields. The analysis involves structure theorems about their…

Arvanitakis established recently a theorem which is a common generalization of Michael's convex selection theorem and Dugundji's extension theorem. In this note we provide a short proof of a more general version of Arvanitakis' result.