Results 31 to 40 of about 255 (119)

Startpoints and (α, γ)‐Contractions in Quasi‐Pseudometric Spaces

Journal of Mathematics, Volume 2014, Issue 1, 2014., 2014
We introduce the concept of startpoint and endpoint for multivalued maps defined on a quasi‐pseudometric space. We investigate the relation between these new concepts and the existence of fixed points for these set valued maps.
Yaé Ulrich Gaba, Bruce A. Watson
wiley   +1 more source

New Results in the Startpoint Theory for Quasipseudometric Spaces

Journal of Operators, Volume 2014, Issue 1, 2014., 2014
We give two generalizations of Theorem 35 proved by Gaba (2014). More precisely, we change the structure of the contractive condition; namely, we introduce a function Φ instead of a simple constant c.
Yaé Ulrich Gaba, Aref Jeribi
wiley   +1 more source

A Solution to the Completion Problem for Quasi‐Pseudometric Spaces

International Journal of Mathematics and Mathematical Sciences, Volume 2013, Issue 1, 2013., 2013
The different notions of Cauchy sequence and completeness proposed in the literature for quasi‐pseudometric spaces do not provide a satisfactory theory of completeness and completion for all quasi‐pseudometric spaces. In this paper, we introduce a notion of completeness which is classical in the sense that it is made up of equivalence classes of Cauchy
Athanasios Andrikopoulos, R. Lowen
wiley   +1 more source

Symmetry Conditions on the Coincidence of Some Notions of Quasi‐Uniform Completeness

International Journal of Mathematics and Mathematical Sciences, Volume 2007, Issue 1, 2007., 2007
We generalize the notions of quietness and semisymmetry defined by Doitchinov (1991) and Deák (1991) and we study the role of these extended notions on the coincidence of some well‐known quasi‐uniform completeness. In particular, it is shown that the bicompletion coincides (up to quasi‐uniformism) with the standard D‐completion in quiet ⋆‐weakly pair ...
Athanasios Andrikopoulos, Etienne E. Kerre   +1 more
wiley   +1 more source

Quasi‐pseudometrizability of the point open ordered spaces and the compact open ordered spaces

International Journal of Mathematics and Mathematical Sciences, Volume 26, Issue 7, Page 385-392, 2001., 2001
We determine conditions for quasi‐pseudometrizability of the point open ordered spaces and the compact open ordered spaces. This generalizes the results on metrizability of the point open topology and the compact open topology for function spaces. We also study conditions for complete quasi‐pseudometrizability.
Koena Rufus Nailana
wiley   +1 more source

The unit of the total décalage adjunction [PDF]

Journal of Homotopy and Related Structures, 2017
We consider the décalage construction Dec\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt ...
Viktoriya Ozornova, M. Rovelli
semanticscholar   +1 more source

Proof search in multi-succedent sequent calculi for intuitionistic logics (Theory and Applications of Proof and Computation) [PDF]

, 2022
In this note, terminating and bicomplete proof search procedures with respect to the Kripke semantics are given in multi-succedent sequent calculi for intuitionistic propositional logic and fragments of intuitionistic predicate logic. G.
Arai, Toshiyasu
core  

The Meir-Keeler Fixed Point Theorem for Quasi-Metric Spaces and Some Consequences

Symmetry, 2019
We obtain quasi-metric versions of the famous Meir–Keeler fixed point theorem from which we deduce quasi-metric generalizations of Boyd–Wong’s fixed point theorem.
S. Romaguera, P. Tirado
semanticscholar   +1 more source

On the parameterized Tate construction

Journal of Topology, Volume 18, Issue 1, March 2025.
Abstract We introduce and study a genuine equivariant refinement of the Tate construction associated to an extension Ĝ$\widehat{G}$ of a finite group G$G$ by a compact Lie group K$K$, which we call the parameterized Tate construction (−)tGK$(-)^{t_G K}$.
J. D. Quigley, Jay Shah
wiley   +1 more source

On the ∞$\infty$‐topos semantics of homotopy type theory

Bulletin of the London Mathematical Society, Volume 56, Issue 2, Page 461-517, February 2024.
Abstract Many introductions to homotopy type theory and the univalence axiom gloss over the semantics of this new formal system in traditional set‐based foundations. This expository article, written as lecture notes to accompany a three‐part mini course delivered at the Logic and Higher Structures workshop at CIRM‐Luminy, attempt to survey the state of
Emily Riehl
wiley   +1 more source