Search results for "transitive"
showing 10 items of 98 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].
Darītāja un izjutēja lomas robežošanās latviešu valodā
2012
BOUNDARIES OF AGENT AND EXPERIENCER IN LATVIANSummaryThe deep sentence structure is reflected in the surface sentence structure. There is no doubt that the actor is an important participant in the semantics of the sentence, and the patient is important in the transitive verb argument structure. Other participant roles form periphery of the situation.The article deals with the issue of boundaries between agent and experiencer roles. In Latvian, both agent and experiencer employ the same means of expression – both participants syntactically can be expressed by the subject. The aim of this article is to clarify whether it is easy to divide these participant roles and what criteria help to make…
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…
How an idea germinates into a projext or the intransitive resultative construction with Entity-Specific change-of-state verbs
2014
[EN] This study discusses how seven of Levin’s (1993) entity-specific change-of-state verbs (i.e. bloom, blossom, flower, germinate, sprout, swell, and blister) are subsumed into the intransitive resultative construction by highlighting and making use of the external and internal constraints proposed by the Lexical Constructional Model (LCM; Ruiz de Mendoza and Mairal 2007). External constraints refer to cognitive mechanisms such as high-level metaphor and/or metonymy whereas internal constraints are concerned with the encyclopedic and event structure makeup of verbs. The Internal Variable Conditioning constraint is at work when the information encapsulated by a predicate determines the cho…