Some local fixed point theorems and applications to open mapping principles and continuation results
Sign Up to like & getrecommendations! Published in 2021 at "Arabian Journal of Mathematics"
DOI: 10.1007/s40065-021-00331-3
Abstract: The purpose of this article is to present, under weaker assumptions, some local fixed point theorems for Ćirić–Reich–Rus, Chatterjea and Berinde type generalized contractions. Then, as applications we will obtain open mapping theorems and continuation… read more here.
Keywords: continuation; open mapping; point theorems; local fixed ... See more keywords
An open mapping theorem for finitely copresented Esakia spaces
Sign Up to like & getrecommendations! Published in 2017 at "Topology and its Applications"
DOI: 10.1016/j.topol.2018.03.006
Abstract: Abstract We prove an open mapping theorem for the topological spaces dual to finitely presented Heyting algebras. This yields in particular a short, self-contained semantic proof of the uniform interpolation theorem for intuitionistic propositional logic,… read more here.
Keywords: copresented esakia; open mapping; theorem finitely; finitely copresented ... See more keywords