English
Related papers

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

200 papers

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…

Analysis of PDEs · Mathematics 2015-06-09 Ugur G. Abdulla

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…

Logic in Computer Science · Computer Science 2023-06-22 Stefan Milius

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…

Logic in Computer Science · Computer Science 2015-03-10 Johannes Marti , Fatemeh Seifan , Yde Venema

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…

General Mathematics · Mathematics 2017-05-29 Meltem Kaya , Hasan Furkan

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…

Classical Analysis and ODEs · Mathematics 2010-08-26 Andrei Martinez-Finkelshtein , Barry Simon

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…

Differential Geometry · Mathematics 2018-06-07 Alexander Engel

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…

Dynamical Systems · Mathematics 2007-05-23 John Franks , Michael Handel , Kamlesh Parwani

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…

Group Theory · Mathematics 2021-08-31 Karsten Henckell , Samuel Herman

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…

Dynamical Systems · Mathematics 2024-12-17 David J. W. Simpson

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…

Probability · Mathematics 2016-03-16 Ehsan Azmoodeh , Dominique Malicet , Guillaume Mijoule , Guillaume Poly

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…

Algebraic Geometry · Mathematics 2016-11-25 Finn F. Knudsen

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.…

Number Theory · Mathematics 2026-01-27 Juan Pablo De Rasis , Hunter Handley

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…

Algebraic Geometry · Mathematics 2014-11-25 Morihiko Saito

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…

Complex Variables · Mathematics 2007-05-23 Alexey Glutsyuk

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…

Category Theory · Mathematics 2021-10-28 Dominique Bourn

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…

Functional Analysis · Mathematics 2016-12-20 Andrzej Wiśnicki , Jacek Wośko

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…

Functional Analysis · Mathematics 2018-11-29 Tiexin Guo , Erxin Zhang , Yachao Wang , ZiChen Guo

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),…

General Topology · Mathematics 2013-07-08 Mortaza Abtahi

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…

Functional Analysis · Mathematics 2026-04-20 Jie Shi

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…

Probability · Mathematics 2025-11-14 Youssef Djellouli , Pierre Yves Gaudreau Lamarre