Related papers: Well ordering principles and $\Pi^1_4$-statements:…
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 derive normal approximation results for a class of stabilizing functionals of binomial or Poisson point process, that are not necessarily expressible as sums of certain score functions. Our approach is based on a flexible notion of the…
In a constructive setting, no concrete formulation of ordinal numbers can simultaneously have all the properties one might be interested in; for example, being able to calculate limits of sequences is constructively incompatible with…
Ordinal analysis is a research program wherein recursive ordinals are assigned to axiomatic theories. According to conventional wisdom, ordinal analysis measures the strength of theories. Yet what is the attendant notion of strength? In…
We present a systematic approach to logical predicates based on universal coalgebra and higher-order abstract GSOS, thus making a first step towards a unifying theory of logical relations. We first observe that logical predicates are…
Michael Rathjen and the present author have shown that $\Pi^1_1$-bar induction is equivalent to (a suitable formalization of) the statement that every normal function has a derivative, provably in $\mathbf{ACA_0}$. In this note we show that…
In this paper, we investigate the existence and uniqueness of fixed points for self-mappings defined on bipolar metric spaces using a new class of contractive conditions, namely polynomial-type contractions. Our main results establish…
Answering a question by M. Struwe (Vietnam J. Math. 2020) related to the blow-up behaviour in the Nirenberg problem, we show that the prescribed $Q$-curvature equation $$\Delta^2 u=(1-|x|^p)e^{4u}\text{ in }\mathbb{R}^4,\quad…
We study the ``renormalization group action'' induced by cycles of cosmic expansion and contraction, within the context of a family of stochastic dynamical laws for causal sets derived earlier. We find a line of fixed points corresponding…
The existence and uniqueness of the common fixed point for generalized contractive mappings in order partial metric spaces is investigated. The existence of nonnegative solution of implicit nonlinear integral equations is also studied. Some…
We study the local existence and regularity of the density of the law of a functional on the Wiener space which satisfies a criterion that generalizes the H\"ormander condition of order one (that is, involving the first order Lie brackets)…
Wilson-Fisher expansion near upper critical dimension has proven to be an invaluable conceptual and computational tool in our understanding of the universal critical behavior in the $\phi ^4$ field theories that describe low-energy physics…
The work is devoted to establishing the global well-posedness in $W^{(1,2),2}(R\times R^{+})$ of the integro-differential problem involving the two nonlocal terms describing the diffusion and the production in the biological system in the…
The celebrated Bishop theorem states that an operator is subnormal if and only if it is the strong limit of a net (or a sequence) of normal operators. By the Agler-Stankus theorem, $2$-isometries behave similarly to subnormal operator in…
In Persistent Homology and Topology, filtrations are usually given by introducing an ordered collection of sets or a continuous function from a topological space to $\R^n$. A natural question arises, whether these approaches are equivalent…
We extend to binary relational systems the notion of compact and normal structure, introduced by J.P.Penot for metric spaces, and we prove that for the involutive and reflexive ones, every commuting family of relational homomorphisms has a…
Our aim in this paper is to prove some interesting fixed point theorems for the class of asymptotically $T$-regular mappings in the framework of preordered modular G-metric spaces. Our results are novel and generalizes several know results.…
Reynold's parametricity theory captures the property that parametrically polymorphic functions behave uniformly: they produce related results on related instantiations. In dependently-typed programming languages, such relations and…
In this note, we establish sharp regularity for solutions to the following generalized $p$- Poisson equation $$-\ div\ \big(\langle A\nabla u,\nabla u\rangle^{\frac{p-2}{2}}A\nabla u\big)=-\ div\ \mathbf{h}+f$$ in the plane (i.e. in…
We consider here renormalizable theories without relevant couplings and present an I.R. consistent technique to study corrections to short distance behavior (Wilson O.P.E. coefficients) due to a relevant perturbation. Our method is the…