English
Related papers

Related papers: Uniform bounds on growth in o-minimal structures

200 papers

In this paper, we give a simple proof that the density at infinity of fibers of a definable function is locally Lipschitz outside the set of asymptotic critical values.

Algebraic Geometry · Mathematics 2023-10-11 Dinh Si Tiep , Nhan Nguyen

We define a certain finite set in set theory $\{x\mid\varphi(x)\}$ and prove that it exhibits a universal extension property: it can be any desired particular finite set in the right set-theoretic universe and it can become successively any…

Logic · Mathematics 2018-06-21 Joel David Hamkins , W. Hugh Woodin

This article makes no claim to originality, other than, perhaps, the simple statement here called the {\it Abstract Maximum Principle}. Actually, the whole contents are strongly based on some H. Sussmann's and coauthors' papers, in which,…

Optimization and Control · Mathematics 2023-10-17 Monica Motta , Franco Rampazzo

We propose the notions of uniform local weak o-minimality and $*$-local weak o-minimality. Local monotonicity theorems hold in definably complete locally o-minimal structures and uniformly locally o-minimal structures of the second kind. In…

Logic · Mathematics 2024-05-13 Masato Fujita

A class of subharmonic functions represented by the modified kernels are proved to have the growth estimates $u(z)= o(y^{1-\alpha}|z|^{m+\alpha})$ at infinity in the upper half plane ${\bf C}_{+}$, which generalizes the growth properties of…

Functional Analysis · Mathematics 2008-11-14 Pan Guoshuang , Deng Guantie

We construct a function on the real line supported on a set of finite measure whose spectrum has density zero.

Classical Analysis and ODEs · Mathematics 2017-02-01 Fedor Nazarov , Alexander Olevskii

We consider a definably complete locally o-minimal expansion of an ordered field. We treat two topics in this paper. The first topic is a definable $\mathcal C^r$ approximation of a definable $\mathcal C^{r-1}$ map between definable…

Logic · Mathematics 2026-01-09 Masato Fujita , Tomohiro Kawakami

We develop the notion of coherent ultrafilters (extenders without normality or well-foundedness). We then use definable coherent ultraproducts to characterize any extension of a model $M$ in any fragment of $\mathbb{L}_{\infty, \omega}$…

Logic · Mathematics 2026-04-30 Will Boney

We derive a trade-off relation between the accuracy of implementing a desired unitary evolution using a restricted set of free unitaries and the size of the assisting system, in terms of the resource generating/losing capacity of the target…

Quantum Physics · Physics 2020-02-14 Ryuji Takagi , Hiroyasu Tajima

When formalized, some diagonal arguments do not show the diagonal object to be impossible but rather reveal some other anomaly (e.g., that one of the relevant sets is ill-defined). This raises the possibility that some diagonal arguments…

Logic · Mathematics 2025-04-21 T. Parent

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…

Logic · Mathematics 2021-07-12 Antongiulio Fornasiero

We show that for a transcendental entire function the set of points whose orbit under iteration is bounded can have arbitrarily small positive Hausdorff dimension.

Dynamical Systems · Mathematics 2012-02-14 Walter Bergweiler

We extend Berge's Maximum Theorem to allow for incomplete preferences. We first provide a simple version of the Maximum Theorem for convex feasible sets and a fixed preference. Then, we show that if, in addition to the traditional…

Theoretical Economics · Economics 2021-11-17 Leandro Gorno , Alessandro Rivello

In this paper we consider a fragment of the first-order theory of the real numbers that includes systems of equations of continuous functions in bounded domains, and for which all functions are computable in the sense that it is possible to…

Computational Complexity · Computer Science 2016-08-15 Peter Franek , Stefan Ratschan , Piotr Zgliczynski

We prove that a set of finite perimeter is indecomposable if and only if it is, up to a choice of suitable representative, connected in the 1-fine topology. This gives a topological characterization of indecomposability which is new even in…

Metric Geometry · Mathematics 2025-12-23 Paolo Bonicatto , Panu Lahti , Enrico Pasqualetto

According to the math tea argument, there must be real numbers that we cannot describe or define, because there are uncountably many real numbers, but only countably many definitions. And yet, the existence of pointwise-definable models of…

Logic · Mathematics 2024-04-09 Joel David Hamkins

Many biological systems perform close to their physical limits, but promoting this optimality to a general principle seems to require implausibly fine tuning of parameters. Using examples from a wide range of systems, we show that this…

We deal with a family of functionals depending on curvatures and we prove for them compactness and semicontinuity properties in the class of closed and bounded sets which satisfy a uniform exterior and interior sphere condition. We apply…

Functional Analysis · Mathematics 2007-05-23 Maria Giovanna Mora , Massimiliano Morini

Under certain mild conditions, limit theorems for additive functionals of some $d$-dimensional self-similar Gaussian processes are obtained. These limit theorems work for general Gaussian processes including fractional Brownian motions,…

Probability · Mathematics 2023-05-23 Minhao Hong , Heguang Liu , Fangjun Xu

We prove that an infinite field interpretable in a $p$-adically closed field $K$ is definably isomorphic to a finite extension of $K$. The result remains true in any $P$-minimal field where definable functions are generically…

Logic · Mathematics 2021-03-30 Yatir Halevi , Assaf Hasson , Ya'acov Peterzil