Search results for "Transitive relation"
showing 10 items of 74 documents
Transitive partially hyperbolic diffeomorphisms on 3-manifolds
2005
Abstract The known examples of transitive partially hyperbolic diffeomorphisms on 3-manifolds belong to 3 basic classes: perturbations of skew products over an Anosov map of T 2 , perturbations of the time one map of a transitive Anosov flow, and certain derived from Anosov diffeomorphisms of the torus T 3 . In this work we characterize the two first types by a local hypothesis associated to one closed periodic curve.
Transitive Reasoning with Imprecise Probabilities
2015
We study probabilistically informative (weak) versions of transitivity by using suitable definitions of defaults and negated defaults in the setting of coherence and imprecise probabilities. We represent \(\text{ p-consistent }\) sequences of defaults and/or negated defaults by g-coherent imprecise probability assessments on the respective sequences of conditional events. Finally, we present the coherent probability propagation rules for Weak Transitivity and the validity of selected inference patterns by proving p-entailment of the associated knowledge bases.
The fluted fragment with transitive relations
2022
Abstract The fluted fragment is a fragment of first-order logic (without equality) in which, roughly speaking, the order of quantification of variables coincides with the order in which those variables appear as arguments of predicates. It is known that this fragment has the finite model property. We consider extensions of the fluted fragment with various numbers of transitive relations, as well as the equality predicate. In the presence of one transitive relation (together with equality), the finite model property is lost; nevertheless, we show that the satisfiability and finite satisfiability problems for this extension remain decidable. We also show that the corresponding problems in the…
Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants
2018
We consider extensions of the two-variable guarded fragment, GF2, where distinguished binary predicates that occur only in guards are required to be interpreted in a special way (as transitive relations, equivalence relations, pre-orders or partial orders). We prove that the only fragment that retains the finite (exponential) model property is GF2 with equivalence guards without equality. For remaining fragments we show that the size of a minimal finite model is at most doubly exponential. To obtain the result we invent a strategy of building finite models that are formed from a number of multidimensional grids placed over a cylindrical surface. The construction yields a 2NExpTime-upper bou…
An Empirical Study of the Relation Between Community Structure and Transitivity
2012
One of the most prominent properties in real-world networks is the presence of a community structure, i.e. dense and loosely interconnected groups of nodes called communities. In an attempt to better understand this concept, we study the relationship between the strength of the community structure and the network transitivity (or clustering coefficient). Although intuitively appealing, this analysis was not performed before. We adopt an approach based on random models to empirically study how one property varies depending on the other. It turns out the transitivity increases with the community structure strength, and is also affected by the distribution of the community sizes. Furthermore, …
On finite soluble groups in which Sylow permutability is a transitive relation
2003
A characterisation of finite soluble groups in which Sylow permutability is a transitive relation by means of subgroup embedding properties enjoyed by all the subgroups is proved in the paper. The key point is an extension of a subnormality criterion due to Wielandt.
On generalised FC-groups in which normality is a transitive relation
2016
We extend to soluble FC∗ -groups, the class of generalised FC-groups introduced in [F. de Giovanni, A. Russo, G. Vincenzi, Groups with restricted conjugacy classes , Serdica Math. J. 28(3) (2002), 241 254], the characterisation of finite soluble T-groups obtained recently in [G. Kaplan, On T-groups, supersolvable groups and maximal subgroups , Arch. Math. 96 (2011), 19 25].
Transitivity prominence within and across modalities
2020
The idea of transitivity as a scalar phenomenon is well known (e.g., Hopper & Thompson 1980; Tsunoda 1985; Haspelmath 2015). However, as with most areas of linguistic study, it has been almost exclusively studied with a focus on spoken languages. A rare exception to this is Kimmelman (2016), who investigates transitivity in Russian Sign Language (RSL) on the basis of corpus data. Kimmelman attempts to establish a transitivity prominence hierarchy of RSL verbs, and compares this ranking to the verb meanings found in the ValPal database (Hartmann, Haspelmath & Bradley 2013). He arrives at the conclusion that using the frequency of overt objects in corpus data is a successful measure o…
La elección del caso pronominal en dos corpus orales puertorriqueños
2014
Esta investigación tiene por objeto un estudio contrastivo del uso de los pronombres átonos (clíticos) en dos corpus orales de Puerto Rico que corresponden a dos generaciones distintas. Ya que este país es uno de los distinguidores de caso, resulta especialmente interesante conocer con qué verbos y en qué estructuras se documentan ambos casos o se ve favorecido el dativo en lugar del acusativo, con el fin de comprobar si existen factores específicos que condicionan la elección del pronombre. Para ello, abordamos el uso de los clíticos de tercera persona en verbos o construcciones transitivas y de caso reinterpretado.DOI http://dx.doi.org/10.15304/verba.41.1667
The fluted fragment revisited
2019
AbstractWe study the fluted fragment, a decidable fragment of first-order logic with an unbounded number of variables, motivated by the work of W. V. Quine. We show that the satisfiability problem for this fragment has nonelementary complexity, thus refuting an earlier published claim by W. C. Purdy that it is in NExpTime. More precisely, we consider ${\cal F}{{\cal L}^m}$, the intersection of the fluted fragment and the m-variable fragment of first-order logic, for all $m \ge 1$. We show that, for $m \ge 2$, this subfragment forces $\left\lfloor {m/2} \right\rfloor$-tuply exponentially large models, and that its satisfiability problem is $\left\lfloor {m/2} \right\rfloor$-NExpTime-hard. We…