Related papers: How strong are single fixed points of normal funct…
The strong continuity principle reads "every pointwise continuous function from a complete separable metric space to a metric space is uniformly continuous near each compact image." We show that this principle is equivalent to the fan…
We have previously established that $\Pi^1_1$-comprehension is equivalent to the statement that every dilator has a well-founded Bachmann-Howard fixed point, over $\mathbf{ATR_0}$. In the present paper we show that the base theory can be…
We prove that every nonnegative continuous real-valued function on a given compact metric space is the uniform limit of some increasing sequence of nonnegative simple functions being linear combinations of indicators of open sets; here the…
As an application of Brouwer's fixed-point theorem we prove that a continuously differentiable convex function with gradient of constant norm is an affine mapping. It is a first-order characterization of affine mappings among continuously…
We give a survey, known and new results on the beingness of fixed points of the maximal operator in the more general settings of metric measure space. In particular, we prove that the fixed points of the uncentered one must be the constant…
We prove that an interesting result concerning generalized Hyers-Ulam-Rassias stability of a linear functional equation obtained in 2014 by S.M. Jung, D. Popa and M.T. Rassias in Journal of Global Optimization is a particular case of a…
We prove that Picard-Lindel\"of iterations for an arbitrary smooth normal Cauchy problem for PDE converge if we assume a suitable Weissinger-like sufficient condition. This condition includes both a large class of non-analytic PDE or…
The rational fixed point of a set functor is well-known to capture the behaviour of finite coalgebras. In this paper we consider functors on algebraic categories. For them the rational fixed point may no longer be fully abstract, i.e. a…
In this paper, we are interested in the number of fixed points of functions $f:A^n\to A^n$ over a finite alphabet $A$ defined on a given signed digraph $D$. We first use techniques from network coding to derive some lower bounds on the…
In this paper we show that the real differential of any injective slice regular function is everywhere invertible. The result is a generalization of a theorem proved by G. Gentili, S. Salamon and C. Stoppato, and it is obtained thanks, in…
Over an algebraically closed field of positive characteristic, there exist rational functions with only one critical point. We give an elementary characterization of these functions in terms of their continued fraction expansions. Then we…
We answer two questions from {\it V.Bykov, On Baire class one functions on a product space, Topol. Appl. {199} (2016) 55--62,} and prove that every Baire one function on a subspace of a countable perfectly normal product is the pointwise…
We consider the question of existence of a unique invariant probability distribution which satisfies some evolutionary property. The problem arises from the random graph theory but to answer it we treat it as a dynamical system in the…
Martin's Conjecture states that every definable function on the Turing degrees is either constant or increasing, and that every increasing function is an iterate of the Turing jump. This classification has already been corroborated for the…
We characterize normal families in the unit ball as those families of analytic functions whose restrictions to each complex line through the origin are normal. We then generalize this result to a characterization of normal functions…
If there is a topologically locally constant family of smooth algebraic varieties together with an admissible normal function on the total space, then the latter is constant on any fiber if this holds on some fiber. Combined with spreading…
We believe that Euler constant is not just the "renormalized" value of the Riemann zeta function in 1. In a sense that we shall clarify it is in fact the normal and natural value of zeta of 1. In this paper we first propose a limit…
We study the computational expressivity of proof systems with fixed point operators, within the 'proofs-as-programs' paradigm. We start with a calculus muLJ (due to Clairambault) that extends intuitionistic logic by least and greatest…
We prove a unified and general criterion for the uniqueness of critical points of a functional in the presence of constraints such as positivity, boundedness, or fixed mass. Our method relies on convexity properties along suitable paths and…
Given a sequence of bounded operators $a_j$ on a Hilbert space $H$ with $\sum a_j^*a_j=1=\sum a_ja_j^*$, we study the map $\Psi$ defined on $B(H)$ by $\Psi(x)=\sum a_j^*xa_j$ and its restriction $\Phi$ to the Hilbert-Schmidt class $C^2(H)$.…