Related papers: A Domain-Theoretic Bishop-Phelps theorem

Working in the soft-element (classical) viewpoint, we introduce \emph{soft bitopological groups}: soft groups endowed with two soft topologies such that the induced topologies on the set of soft elements make the soft-element group into a…

Let $X$ be a Deligne-Mumford stack locally of finite type over an algebraically closed field $k$ of characteristic zero. We show that the intrinsic normal cone $C_X$ of $X$ is supported in the subcone $\mathbb{V}(\Omega_X[-1])$…

In this paper we establish a gap theorem for the complex geometry of smoothly bounded convex domains which informally says that if the complex geometry near the boundary is close to the complex geometry of the unit ball, then the domain…

We show that the set of points of an overt closed subspace of a metric completion of a Bishop-locally compact metric space is located. Consequently, if the subspace is, moreover, compact, then its collection of points is Bishop compact.

We begin by giving an example of a smoothly bounded convex domain that has complex geodesics that do not extend continuously up to $\partial\mathbb{D}$. This example suggests that continuity at the boundary of the complex geodesics of a…

The classical Julia-Wolff-Caratheodory theorem gives a condition ensuring the existence of the non-tangential limit of both a bounded holomorphic function and its derivative at a given boundary point of the unit disk in the complex plane.…

The Arnold conjecture states that a Hamiltonian diffeomorphism of a closed and connected symplectic manifold must have at least as many fixed points as the minimal number of critical points of a smooth function on the manifold. It is well…

We develop domain theory in constructive and predicative univalent foundations (also known as homotopy type theory). That we work predicatively means that we do not assume Voevodsky's propositional resizing axioms. Our work is constructive…

We obtain an equivariant index theorem, or Lefschetz fixed-point formula, for isometries from complete Riemannian manifolds to themselves. The fixed-point set of such an isometry may be noncompact. We build on techniques developed by Roe.…

We prove that any perturbation of the symplectic part of the derivative of a Poisson diffeomorphism can be realized as the derivative of a $C^1$-close Poisson diffeomorphism. We also show that a similar property holds for the Poincar\'e map…

Given a closed, oriented surface, possibly with boundary, and a mapping class, we obtain sharp lower bounds on the number of fixed points of a surface symplectomorphism (i.e. area-preserving map) in the given mapping class, both with and…

A set in the Euclidean plane is said to be biconvex if, for some angle $\theta\in[0,\pi/2)$, all its sections along straight lines with inclination angles $\theta$ and $\theta+\pi/2$ are convex sets (i.e, empty sets or segments).…

We consider maps defined on the interior of a normal, closed cone in a real Banach space that are nonexpansive with respect to Thompson's metric. With mild compactness assumptions, we prove that the Krasnoselskii iterates of such maps…

The aim of this paper is to prove a fixed point theorem on a generalised cone metric spaces for maps satisfying general contractive type conditions.

The celebrated Kleene fixed point theorem is crucial in the mathematical modelling of recursive specifications in Denotational Semantics. In this paper we discuss whether the hypothesis of the aforementioned result can be weakened. An…

In this article, we prove the existence of common fixed points for a pair of maps on a $q$-spherically complete $T_0$-ultra-quasi-metric space. The present article is a generalization, in the assymmetric setting of the paper of Rao et…

We combine Homotopy Type Theory with axiomatic cohesion, expressing the latter internally with a version of "adjoint logic" in which the discretization and codiscretization modalities are characterized using a judgmental formalism of "crisp…

This article presents a deep investigation of fixed points for multivalued weak contractions in cone metric spaces. We extend Berinde weak contraction principles to the multivalued setting in cone metric spaces, developing existence,…

Searching for topological insulators/superconductors is a central subject in recent condensed matter physics. As a theoretical aspect, various classification methods of symmetry-protected topological phases have been developed, where the…

We show that a smooth bounded domain in $\mathbb{C}^n$ admitting partial pseudoconvex exhaustion remains partial pseudoconvex. The main ingredient of the proof is based on a new characterization of hyper-$q$-convex domains. Furthermore, we…