Related papers: Well ordering principles and $\Pi^1_4$-statements:…

We show that if $X$ is a complete metric space with uniform relative normal structure and $G$ is a subgroup of the isometry group of $X$ with bounded orbits, then there is a point in $X$ fixed by every isometry in $G$. As a corollary, we…

According to Lipatov, the high orders of perturbation theory are determined by saddle-point configurations (instantons) of the corresponding functional integrals. According to t'Hooft, some individual large diagrams, renormalons, are also…

The paper addresses questions of existence and regularity of solutions to linear partial differential equations whose coefficients are generalized functions or generalized constants in the sense of Colombeau. We introduce various new…

Propositional formulas that are equivalent in intuitionistic logic, or in its extension known as the logic of here-and-there, have the same stable models. We extend this theorem to propositional formulas with infinitely long conjunctions…

We explore aspects of dilation theory in the finite dimensional case and show that for a commuting $n$-tuple of operators $T=(T_1,...,T_n) $ acting on some finite dimensional Hilbert space $H$ and a compact set $X\subset \mathbb{C}^n$ the…

The design of fixed point algorithms is at the heart of monotone operator theory, convex analysis, and of many modern optimization problems arising in machine learning and control. This tutorial reviews recent advances in understanding the…

We present the theorem which determines, by a permutation, the cardinal ordering of fixed points for any orbit of a period doubling cascade. The inverse permutation generates the orbit and the symbolic sequence of the orbit is obtained as a…

Brouwer's fixed point theorem states that any continuous function from a closed $n$-dimensional ball to itself has a fixed point. In 1961, Klee showed that if such a function has discontinuities that are bounded, then it has a point that is…

Ordinal analysis induces a partition of $\Sigma^1_1$-definable and $\Pi^1_1$-sound theories whereby two theories are equivalent if they have the same proof-theoretic ordinal. We show that no equivalence relation $\equiv$ is finer than the…

We develop some aspects of the theory of derivators, pointed derivators, and stable derivators. As a main result, we show that the values of a stable derivator can be canonically endowed with the structure of a triangulated category.…

We investigate infinitary wellfounded systems for linear logic with fixed points, with transfinite branching rules indexed by some closure ordinal $\alpha$ for fixed points. Our main result is that provability in the system for some…

It is widely claimed that the natural axiom systems$\unicode{x2013}$including the large cardinal axioms$\unicode{x2013}$form a well-ordered hierarchy. Yet, as is well-known, it is possible to exhibit non-linearity and ill-foundedness by…

In this paper we prove that Dirac operators on non-compact complete orbifolds which are sufficiently regular at infinity, admit a unique extension. Additonally, we prove a generalized orbifold Stokes'/Divergence theorem.

A recent result characterizes the fully order reversing operators acting on the class of lower semicontinuous proper convex functions in a real Banach space as certain linear deformations of the Legendre-Fenchel transform. Motivated by the…

We show that the open unit ball of the space of operators from a finite dimensional Hilbert space into a separable Hilbert space (we call it "operator ball") has a restricted form of normal structure if we endow it with a hyperbolic metric…

A simple proof is provided to show that any bounded normal operator on a real Hilbert space is orthogonally equivalent to its transpose(adjoint). A structure theorem for invertible skew-symmetric operators, which is analogous to the finite…

Using Hilbert-Burch matrices, we give an explicit description of the Bia{\l}ynicki-Birula cells on the Hilbert scheme of points on $\mathbb A ^2$ with isolated fixed points. If the fixed point locus is positive dimensional we obtain an…

In the article we establish the global well-posedness in W^{1, 2, 2}(R\times R^{+}) of the integro-differential equation in the case of the anomalous diffusion when the one dimensional negative Laplace operator is raised to a fractional…

We prove a fixed point theorem that combines the contraction mapping principle and some Knaster-Tarski-like theorem. As a consequence we obtain an existence theorem to initial value problem for ordinary differential equation with…

We present coincidence and common fixed point results of selfmappings satisfying a contraction type in partially ordered metric spaces. As an application, we give an existence theorem for a common solution of integral equations.