Related papers: An elementary direct proof that the Knaster-Kurato…

We give a combinatorial proof of the skew Kostka analogue of the K-saturation theorem. More precisely, for any positive integer k, we give an explicit injection from the set of skew semistandard Young tableaux with skew shape…

We present a simple and purely combinatorial proof of Steel's result according to which the core model is \Sigma^1_3 correct under the appropriate hypotheses.

The objective of this manuscript is to introduce and develop the concept of a generalized $\theta$-parametric metric space-a novel extension that enriches the modern metric fixed point theory. We study of its fundamental properties,…

In this paper, we establish some new fixed point theorems and coincidence point theorems for essential distances and $e^{0}$-metrics which generalize and improve Berinde-Berinde's fixed point theorem, Mizoguchi-Takahashi's fixed point…

We prove in constructive logic that the statement of the Cantor-Bernstein theorem implies excluded middle. This establishes that the Cantor-Bernstein theorem can only be proven assuming the full power of classical logic. The key ingredient…

This paper presents very simple and easy integration-free proofs in the context of Weierstrass's theory of functions, of the Maximum and Minimum Modulus Principles and Gutzmer-Parseval Inequalities for polynomials and for functions…

While numerous extensions of Banach's fixed point theorem typically offer only sufficient conditions for the existence and uniqueness of a fixed point and the convergence of iterative sequences, this study introduces a generalization…

We prove Sarnak's spherical density conjecture for the principal congruence subgroup of SL(n, Z) of arbitrary level. Applications include a complete version of Sarnak's optimal lifting conjecture for principal congruence subgroups of SL(n,…

We develop a fixed-point extension of quantitative equational logic and give semantics in one-bounded complete quantitative algebras. Unlike previous related work about fixed-points in metric spaces, we are working with the notion of…

One of the conclusions of Browder (1960) is a parametric version of Brouwer's Fixed Point Theorem, stating that for every continuous function $f : ([0,1] \times X) \to X$, where $X$ is a simplex in a Euclidean space, the set of fixed points…

This paper examines and strengthens the Cuntz-Thomsen picture of equivariant Kasparov theory for arbitrary second-countable locally compact groups, in which elements are given by certain pairs of cocycle representations between C*-dynamical…

The classical Sturm-Hurwitz-Kellogg theorem asserts that a function, orthogonal to an n-dimensional Chebyshev system on a circle, has at least n+1 sign changes. We prove the converse: given an n-dimensional Chebyshev system on a circle and…

It is proved that the Continuum Hypothesis implies that any sequence of rapid P-points of length $<{\mathfrak c}^{+}$ which is increasing with respect to the Rudin-Keisler ordering is bounded above by a rapid P-point. This is an improvement…

We present a general fixed point theorem which can be seen as the quintessence of the principles of proof for Banach's Fixed Point Theorem, ultrametric and certain topological fixed point theorems. It works in a minimal setting, not…

Following suggestions of T. H. Koornwinder, we give a new proof of Kummer's theorem involving Zeilberger's algorithm, the WZ method and asymptotic estimates. In the first section, we recall a classical proof given by L. J. Slater. The…

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…

In this note we prove some results in flat and differential $K$-theory. The first one is a proof of the compatibility of the differential topological index and the flat topological index by a direct computation. The second one is the…

We introduce two new classes of single-valued contractions of polynomial type defined on a metric space. For the first one, called the class of polynomial contractions, we establish two fixed point theorems. Namely, we first consider the…

In the Orlicz type spaces ${\mathcal S}_{M}$, we prove direct and inverse approximation theorems in terms of the best approximations of functions and moduli of smoothness of fractional order. We also show the equivalence between moduli of…

Let $\lambda_\mathbb{K}(m)$ denote the maximal absolute projection constant over the subspaces of dimension $m$. Apart from the trivial case for $ m=1$, the only known value of $\lambda_\mathbb{K}(m)$ is for $ m=2$ and…