Related papers: $\Pi^1_1$-Comprehension as a Well-Ordering Princip…
Let $H$ be a complex Hilbert space and let ${\mathcal P}(H)$ be the associated projective space (the set of rank-one projections). Suppose that $\dim H\ge 3$. We prove the following Wigner-type theorem: if $H$ is finite-dimensional, then…
We consider characterisations of unitary dilations and approximations of irreversible classical dynamical systems on a Hilbert space. In the commutative case, building on the work in [9], one can express well known approximants (e.g. Hille-…
We consider an abstract class of differential inclusions, which covers differential-algebraic and non-autonomous problems as well as problems with delay. Under weak assumptions on the operators involved, we prove the well-posedness of those…
It is generally accepted that H. Friedman's gap condition is closely related to iterated collapsing functions from ordinal analysis. But what precisely is the connection? We offer the following answer: In a previous paper we have shown that…
Generalized Higman's Theorem is the direct counterpart of Higman's Theorem that asserts the closure of the class of \emph{better} quasi-orders, instead of the class of \emph{well} quasi-orders, under the construction $P\mapsto P^{<\omega}$…
M Handel has proved in [Topology 38 (1999) 235--264] a fixed point theorem for an orientation preserving homeomorphism of the open unit disk, that may be extended to the closed disk and that satisfies a linking property of orbits. We give…
Given a contraction A on a Hilbert space H, an operator T on H is said to be A-invariant if <Tx,x>=<TAx,Ax> for every x in H such that ||Ax||=||x||. In the special case in which both defect indices of A are equal to 1, we show that every…
A well-ordering principle is a principle of the form: If $X$ is well-ordered then $F(X)$ is well-ordered, where $F$ is some natural operator transforming linear orders into linear orders. Many important subsystems of Second-order Arithmetic…
We prove the following generalization of the Cartwright-Littlewood fixed point theorem. Suppose $ h\colon~{\mathbb R}^{2}\to{\mathbb R}^{2} $ is an orientation preserving planar homeomorphism, and $ X $ is an acyclic continuum. Let $ C $ be…
Let $H$ be a separable complex Hilbert space. Denote by ${\mathcal G}_{\infty}(H)$ the Grassmannian consisting of closed linear subspaces with infinite dimension and codimension. This Grassmannian is partially ordered by the inclusion…
In this paper first we give a partial answer to a question of L. Moln\'ar and W. Timmermann. Namely, we will describe those linear (not necessarily bijective) transformations on the set of self-adjoint matrices which preserve a unitarily…
For a topological space $X$ a topological contraction on $X$ is a closed mapping $f:X\to X$ such that for every open cover of $X$ there is a positive integer $n$ such that the image of the space $X$ via the $n$th iteration of $f$ is a…
We study rearrangement-invariant spaces $X$ over $[0,\infty)$ for which there exists a function $h:(0,\infty)\to (0,\infty)$ such that \[ \|D_rf\|_X = h(r)\|f\|_X \] for all $f\in X$ and all $r>0$, where $D_r$ is the dilation operator. It…
This paper considers a large class of linear operator equations, including linear boundary value problems for partial differential equations, and treats them as linear recovery problems for objects from their data. Well-posedness of the…
Rademacher's Theorem can be interpreted as an almost-everywhere \emph{little-$o$ improvement principle}: if a function admits a uniform pointwise first-order Lipschitz control at every point, then this control improves to a vanishing one at…
Let $\mathrm{Lip}(X)$, $\mathrm{Lip}^b(X)$, $\mathrm{Lip}^{\mathrm{loc}}(X)$ and $\mathrm{Lip}^\mathrm{pt}(X)$ be the vector spaces of Lipschitz, bounded Lipschitz, locally Lipschitz and pointwise Lipschitz (real-valued) functions defined…
We study the problem of extending any order-preserving Lipschitz function that maps a subset of a partially ordered Hilbert space X into a Hadamard poset Y without increasing its Lipschitz constant and preserving its monotonicity. This sort…
We prove that every continuous function on a separable infinite-dimensional Hilbert space X can be uniformly approximated by smooth functions with no critical points. This kind of result can be regarded as a sort of very strong approximate…
Let $X$ be a path connected, locally path connected and semilocally simply connected space; let $\tilde{X}$ be its universal cover. We discuss the existence and description of a Haar system on the fundamental groupoid $\Pi_1(X)$ of $X$. The…
Michael Handel has proved in [Ha] a fixed point theorem for an orientation preserving homeomorphism of the open unit disk, that turned out to be an efficient tool in the study of the dynamics of surface homeomorphisms. The present article…