English
Related papers

Related papers: On Ciesielski's problems

200 papers

We prove the existence of transcendental entire functions $f$ having a property studied by Mahler, namely that $f(\overline{\mathbb{Q}})\subseteq \overline{\mathbb{Q}}$ and $f^{-1}(\overline{\mathbb{Q}})\subseteq \overline{\mathbb{Q}}$, and…

Number Theory · Mathematics 2024-11-22 David Krumm , Diego Marques , Carlos Gustavo Moreira , Pavel Trojovský

The Polyak-{\L}ojasiewicz (P{\L}) inequality extends the favorable optimization properties of strongly convex functions to a broader class of functions. In this paper, we prove a theorem (also obtained by Criscitiello, Rebjock and Boumal in…

Optimization and Control · Mathematics 2026-01-19 Aziz Ben Nejma

We prove that, if f:R^n\to R satisfies Fr\'echet's functional equation and f(x_1,...,x_n) is not an ordinary algebraic polynomial in the variables x_1,...,x_n, then f is unbounded on all non-empty open set U of R^n. Furthermore, the closure…

Classical Analysis and ODEs · Mathematics 2014-01-21 J. M. Almira , Kh. F. Abu-Helaiel

We address the decision problem for a fragment of real analysis involving differentiable functions with continuous first derivatives. The proposed theory, besides the operators of Tarski's theory of reals, includes predicates for…

Logic in Computer Science · Computer Science 2025-06-16 Domenico Cantone , Gianluca Cincotti

We present a coherent collection of finite mathematical theorems some of which can only be proved by going well beyond the usual axioms for mathematics. The proofs of these theorems illustrate in clear terms how one uses the well studied…

Logic · Mathematics 2016-09-07 Harvey M. Friedman

It is shown that quasi all continuous functions on the unit circle have the property that, for many small subsets E of the circle, the partial sums of their Fourier series considered as functions restricted to E exhibit certain universality…

Classical Analysis and ODEs · Mathematics 2015-05-20 Juergen Mueller

In this work we prove that if an entire function $f(z)$ is of order strictly less than one and it has only negative zeros, then for each nonnegative integer $k,m$ the real function…

General Mathematics · Mathematics 2023-12-11 Ruiming Zhang

We introduce weakenings of two of the more prominent open problems in the classification of $\mathrm{C}^*$-algebras, namely the quasidiagonality problem and the UCT problem. We show that the a positive solution of the conjunction of the two…

Operator Algebras · Mathematics 2017-01-10 Isaac Goldbring , Thomas Sinclair

We discuss some well-known compactness principles for uncountable structures of small regular sizes ($\omega_n$ for $2 \le n<\omega$, $\aleph_{\omega+1}$, $\aleph_{\omega^2+1}$, etc.), consistent from weakly compact (the size-restricted…

Logic · Mathematics 2026-05-05 Radek Honzik

It is studied the Cauchy problem for the equations of Burgers' type but with bounded dissipation flux. Such equations degenerate to hyperbolic ones as the velocity gradient tends to infinity. Thus the discontinuous solutions are permitted.…

Analysis of PDEs · Mathematics 2007-05-23 Yuri G. Rykov

We introduce the notion of consistent error bound functions which provides a unifying framework for error bounds for multiple convex sets. This framework goes beyond the classical Lipschitzian and H\"olderian error bounds and includes…

Optimization and Control · Mathematics 2023-10-20 Tianxiang Liu , Bruno F. Lourenço

In this short paper we show that March's criterion for the existence of a bounded non constant harmonic function on a weak model is also a necessary and sufficient condition for the solvability of the Dirichlet problem at infinity on a…

Differential Geometry · Mathematics 2023-05-30 Jhon E. Bravo , Jean C. Cortissoz

We study functional stochastic differential equations with a locally unbounded, functional drift focusing on well-posedness, stability and the strong Feller property. Following the non-functional case, we only consider integrability…

Probability · Mathematics 2020-09-08 Stefan Bachmann

Henkin functionals on non-commutative $\mathrm{C}^*$-algebras have recently emerged as a pivotal link between operator theory and complex function theory in several variables. Our aim in this paper is characterize these functionals through…

Operator Algebras · Mathematics 2021-05-25 Raphaël Clouâtre , Edward J. Timko

We prove that a function, which is defined on a union of lines $\mathbb{C} E$ through the origin in $\mathbb{C}^n$ with direction vectors in $E\subset \mathbb{C}^n$ and is holomorphic of fixed finite order and finite type along each line,…

Complex Variables · Mathematics 2019-02-05 Jöran Bergh , Ragnar Sigurdsson

Let $A(x): =(A_{i, j}(x))$ be a continuous function defined on some subshift of $\Omega:= \{0,1, \cdots, m-1\}^\mathbb{N}$, taking $d\times d$ non-negative matrices as values and let $\nu$ be an ergodic $\sigma$-invariant measure on the…

Dynamical Systems · Mathematics 2022-12-27 Aihua Fan , Meng Wu

Consider an iterated function system consisting of similarities on the complex plane of the form $g_{i}(z) = \lambda_i z + t_i,\ \lambda_i, t_i \in \mathbb{C},\ |\lambda_i|<1, i=1,\ldots, k$. We prove that for almost every choice of…

Dynamical Systems · Mathematics 2023-08-31 Boris Solomyak , Adam Śpiewak

We propose a fixed-point property for group actions on cones in topological vector spaces. In the special case of equicontinuous actions, we prove that this property always holds; this statement extends the classical Ryll-Nardzewski theorem…

Group Theory · Mathematics 2017-06-22 Nicolas Monod

Let $f$ be a function on a bounded domain $\Omega \subseteq \mathbb{R}^n$ and $\delta$ be a positive function on $\Omega$ such that $B(x,\delta(x))\subseteq \Omega$. Let $\sigma(f)(x)$ be the average of $f$ over the ball $B(x,\delta(x))$.…

Analysis of PDEs · Mathematics 2007-09-24 Mohammad Javaheri

We discuss how singular can cardinals be in absence of the axiom of choice. We show that, contrasting with known negative consistency results (of Gitik and others), certain positive results are provable. Then we pose some problems.

Logic · Mathematics 2007-09-18 Denis I. Saveliev