Results 11 to 20 of about 2,902,153 (358)
A note on first-order spectra with binary relations [PDF]
The spectrum of a first-order sentence is the set of the cardinalities of its finite models. In this paper, we consider the spectra of sentences over binary relations that use at least three variables.
Eryk Kopczynski, Tony Tan
doaj +3 more sources
Selective games on binary relations [PDF]
28 ...
Dias, Rodrigo R., Scheepers, Marion
openaire +5 more sources
Induction on fields of binary relations. [PDF]
W. Russell Belding
openalex +5 more sources
A game of composing binary relations [PDF]
P. Goralčík+3 more
openalex +4 more sources
Compressed Representation of Dynamic Binary Relations with Applications [PDF]
Nieves R. Brisaboa+3 more
openalex +3 more sources
Compressed Dynamic Binary Relations [PDF]
Nieves R. Brisaboa+2 more
openalex +2 more sources
The present manuscript is devoted to investigating some existence and uniqueness results on fixed points by employing generalized contractions in the context of metric space endued with a weak class of transitive relation.
Ahmed Alamer+4 more
doaj +1 more source
This article consists of some new fixed point theorems verifying relation-theoretic strict almost nonlinear contractions that are preserved by a locally finitely transitive relation. Our results improve certain well-known results in the literature.
Faizan Ahmad Khan+5 more
doaj +1 more source
A Relation-Theoretic Matkowski-Type Theorem in Symmetric Spaces
In this paper, we present a fixed-point theorem in R-complete regular symmetric spaces endowed with a locally T-transitive binary relation R using comparison functions that generalizes several relevant existing results.
Based Ali+2 more
doaj +1 more source
Relation-theoretic almost ϕ-contractions with an application to elastic beam equations
In this article, we prove some results on existence and uniqueness of fixed points for an almost $ \phi $-contraction mapping defined on a metric space endowed with an amorphous relation.
Ebrahem A. Algehyne+3 more
doaj +1 more source