The Finite Satisfiability Problem for Two-Variable, First-Order Logic with one Transitive Relation is Decidable [PDF]
, 2017 We consider the two-variable fragment of first-order logic with one distinguished binary predicate constrained to be interpreted as a transitive relation.
Pratt-Hartmann, Ian
core +4 more sources
A characterization of soluble groups in which normality is a transitive relation [PDF]
International Journal of Group Theory, 2017 A subgroup $X$ of a group $G$ is said to be an H-subgroup if NG(X) ∩ Xg ≤ X for each element $g$ belonging to $G$. In [M. Bianchi and e.a., On finite soluble groups in which normality is a transitive relation, J.
Giovanni Vincenzi
doaj +2 more sources
Transitivity of the εm-relation on (m-idempotent) hyperrings
Open Mathematics, 2018 On a general hyperring, there is a fundamental relation, denoted γ*, such that the quotient set is a classical ring. In a previous paper, the authors defined the relation εm on general hyperrings, proving that its transitive closure εm∗$\begin{array}{} \
Norouzi Morteza, Cristea Irina
doaj +2 more sources
Scott-topology based on transitive binary relation [PDF]
Journal of Mahani Mathematical Research, 2022 In the study of partially ordered sets, topologies such as Scott-topology have shown to be of paramount importance. In order to have analogous topology-like tools in the more general setting of quantitative domains, we introduce a method to construct ...
Osama Sayed, Nabil Hassan Sayed
doaj +1 more source
$\mathcal F$-hypercyclic and disjoint $\mathcal F$-hypercyclic properties of binary relations over topological spaces [PDF]
Mathematica Bohemica, 2020 We examine various types of $\mathcal F$-hypercyclic ($\mathcal F$-topologically transitive) and disjoint $\mathcal F$-hypercyclic (disjoint $\mathcal F$-topologically transitive) properties of binary relations over topological spaces.
Marko Kostić
doaj +1 more source
The transitivity of primary conjugacy in regular ω-semigroups
Open Mathematics, 2022 The conjugacy relation plays an important role in group theory and the conjugacy relation of groups has been generalized to semigroups in various methods by several authors.
Liu Xin, Wang Shoufeng
doaj +1 more source
Transitivity in Bantu: Event-oriented constructions
Linguistique et Langues Africaines, 2023 Bantu languages are considered accusative languages, due to their person-marking alignment system. This typology accounts for a specific view on transitivity, strongly based on a subject/object distinction and its mapping to the semantic roles of the ...
Rodrigo Lazaresko Madrid
doaj +1 more source
Some characterisations of groups in which normality is a transitive relation by means of subgroup embedding properties [PDF]
International Journal of Group Theory, 2018 In this survey we highlight the relations between some subgroup embedding properties that characterise groups in which normality is a transitive relation in certain universes of groups with some finiteness properties.
Ramon Esteban-Romero, Giovanni Vincenzi
doaj +1 more source
Mathematics, 2023 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
Affixations in Javanese Transitive Verbs that Change the Constituents from Divalent to Trivalent
Nobel: Journal of Literature and Language Teaching, 2023 This paper aims to describe the affixations in Javanese transitive verbs that affect the valency of a sentence from divalent to trivalent. Other studies have explored the grammaticality of transitive verbs’ valency, but none have investigated the details
Aditya Rizky Wibisono Sapran +1 more
doaj +1 more source