Related papers: Locally constant functions in C-minimal structures

We give an example of a dense o-minimal structure in which there is a definable quotient that cannot be eliminated, even after naming parameters. Equivalently, there is an interpretable set which cannot be put in parametrically definable…

We give necessary and sufficient geometric conditions for a theory definable in an o-minimal structure to interpret a real closed field. The proof goes through an analysis of thorn-minimal types in super-rosy dependent theories of finite…

We prove a p-adic, local version of the Monotonicity Theorem for P-minimal structures. The existence of such a theorem was originally conjectured by Haskell and Macpherson. We approach the problem by considering the first order strict…

We prove that any definable family of subsets of a definable infinite set $A$ in an o-minimal structure has cardinality at most $|A|$. We derive some consequences in terms of counting definable types and existence of definable topological…

Let $\Omega\subset \mathbb C^n$ be a bounded domain, and let $f$ be a real-valued function defined on the whole topological boundary $\partial \Omega$. The aim of this paper is to find a characterization of the functions $f$ which can be…

Prescribed rational functions constitute a subset of rational functions satisfying certain symmetry and analyticity conditions. We define and construct explicitly prescribed rational functions-valued bundle $\mathcal{W}_M$ over a smooth…

We initiate a study of definable topological dynamics for groups definable in metastable theories. Specifically, we consider the special linear group $G = SL_2$ with entries from $M = \mathbb{C}((t))$; the field of formal Laurent series…

If an automorphism f of a structure M is such that fix(f^k) = fix(f) for all positive k, then M|fix(f) is a substructure of M. The possible isomorphism types of such M|fix(f) are characterized when M is countable and arithmetically…

A function $f:X\to Y$ between topological spaces is called {\em compact-preserving} if the image $f(K)$ of each compact subset $K\subset X$ is compact. We prove that a function $f:X\to Y$ defined on a strong Frechet space $X$ is…

We develop a stability theory for contractive local IFSs on compact metric spaces. Unlike the classical global setting, local systems may exhibit a richer symbolic and geometric structure, including code spaces that are not of finite type…

In this paper we present necessary and sufficient conditions (in terms of {\L}ojasiewicz inequalities) for the stability of local minimum points in smooth unconstrained optimization. In particular, we derive a sufficient condition for which…

Let $R$ be a real closed field and $K:=R(i)$ its algebraic closure. Let $U\subset K^n$ be an open and definable set in a fixed o-minimal structure. In this note, we study the relationship between definability of a $K$-holomorphic function…

We introduce a fairly general concept of functional equation for $k$-tuples of functions $f_1,\dots,f_k\colon X \to Y$ between arbitrary sets. The homomorphy equations for mappings between groups and other algebraic systems, as well as…

We introduce a notion of locally approximable continuous CR functions on locally closed subsets of reduced complex spaces, generalizing both holomorphic functions and CR functions on CR submanifolds. Under additional assumptions of…

This paper continues a systematic and comprehensive study on the structural properties of CFL functions, which are in general multi-valued partial functions computed by one-way one-head nondeterministic pushdown automata equipped with…

Let $M$ be an orientable connected closed surface and $f$ be an $R$-closed homeomorphism on $M$ which is isotopic to identity. Then the suspension of $f$ satisfies one of the following condition: 1) the closure of each element of it is…

Let $C$ be a convex subset of a locally convex space. We provide optimal approximate fixed point results for sequentially continuous maps $f\colon C\to\bar{C}$. First we prove that if $f(C)$ is totally bounded, then it has an approximate…

An additive functional of a rooted tree is a functional that can be calculated recursively as the sum of the values of the functional over the branches, plus a certain toll function. Janson recently proved a central limit theorem for…

Let $T:Y\to X$ be a bounded linear operator between two normed spaces. We characterize compactness of $T$ in terms of differentiability of the Lipschitz functions defined on $X$ with values in another normed space $Z$. Furthermore, using a…

The following two assertions are equivalent for an o-minimal expansion of an ordered group $\mathcal M=(M,<,+,0,\ldots)$. There exists a definable bijection between a bounded interval and an unbounded interval. Any definable continuous…