相关论文: Well ordering principles and $\Pi^1_4$-statements:…

This paper introduces a notion of regularity (or irregularity) of the point at infinity for the unbounded open subset of $\rr^{N}$ concerning second order uniformly elliptic equations with bounded and measurable coefficients, according as…

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…

We use the connection between automata and logic to prove that a wide class of coalgebraic fixpoint logics enjoys uniform interpolation. To this aim, first we generalize one of the central results in coalgebraic automata theory, namely…

In this present article, we get sufficient conditions for the existence and uniqueness of fixed points and common fixed points for single and double mapping satisfying various contractive conditions within the partially ordered…

We show that for many families of OPUC, one has $||\varphi'_n||_2/n -> 1$, a condition we call normal behavior. We prove that this implies $|\alpha_n| -> 0$ and that it holds if the sequence $\alpha_n$ is in $\ell^1$. We also prove it is…

We generalize Roe's index theorem for graded generalized Dirac operators on amenable manifolds to multigraded elliptic uniform pseudodifferential operators. The generalization will follow from a local index theorem that is valid on any…

We prove that if $F$ is a finitely generated abelian group of orientation preserving $C^1$ diffeomorphisms of $R^2$ which leaves invariant a compact set then there is a common fixed point for all elements of $F.$ We also show that if $F$ is…

We introduce a general unifying framework for the investigation of pointlike sets. The pointlike functors are considered as distinguished elements of a certain lattice of subfunctors of the power semigroup functor; in particular, we exhibit…

We prove that if a continuous piecewise-smooth map on $\mathbb{R}^n$ is comprised of two linear functions, has a bounded orbit, and satisfies a certain non-degeneracy condition, then it has a fixed point. The result has important…

The celebrated Nualart-Peccati criterion [Ann. Probab. 33 (2005) 177-193] ensures the convergence in distribution toward a standard Gaussian random variable $N$ of a given sequence $\{X_n\}_{n\ge1}$ of multiple Wiener-It\^{o} integrals of…

In the theory of the moduli-stacks of n-pointed stable curves, there are two fundamental functors, contraction and stabilization. These functors are constructed in [4], where they are used to show that the various \bar{M_{g,n}}'s are…

For a given number field $K$, we give a $\forall\exists\forall$-first order description of affine Darmon points over $\mathbb{P}^1_K$, and show that this can be improved to a $\forall\exists$-definition in a remarkable particular case.…

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…

The measurable Riemann mapping theorem proved by Morrey and in some particular cases by Ahlfors, Lavrentiev and Vekua, says that any measurable almost complex structure on $\rd$ ($S^2$) with bounded dilatation is integrable: there is a…

The aim of this work is to point out a strong structural phenomenon hidden behind the existence of normalizers through the investigation of this property in the non-pointed context: given any category E, a certain property of the fibration…

Suppose that $\{T_{a}:a\in G\}$ is a group of uniformly $L$-Lipschitzian mappings with bounded orbits $\left\{T_{a}x:a\in G\right\}$ acting on a hyperconvex metric space $M$. We show that if $L<\sqrt{2}$, then the set of common fixed points…

This paper first proves two fixed point theorems in complete random normed modules, which are respectively the random generalizations of the classical Banach's contraction mapping principle and Browder--Kirk's fixed point theorem. As…

We introduce the notion of admissible functions and show that the family of L-functions introduced by Lim in [Nonlinear Anal. 46(2001), 113--120] and the family of test functions introduced by Geraghty in [Proc. Amer. Math. Soc., 40(1973),…

We introduce a new class of asymptotic contractions that employs two quasi-metrics defined directly in terms of the underlying mapping. The contraction condition compares these two quantities via a sequence of bounding functions that…

We study the occurrence of number rigidity and deletion singularity in a class of point processes that we call {\it projected perturbed lattices}. These are generalizations of processes of the form…