We present the Z-property for rewriting, relate it to the triangle property , show it induces a hyper-cofinal strategy, and present (non-)examples. 1 The Z-property We present the Z-property and one of the various examples of rewrite relations having that property, as can be found in [4]. Definition 1. A map • : A → A has the Z-property for a rewrite relation → on A (see Fig. 1) if for all a, b...

The energy E(G) of a graph G is equal to the sum of the absolute values of the eigenvalues of G. Several classes of graphs are known that satisfy the condition E(G) > n , where n is the number of vertices. We now show that the same property holds for (i) biregular graphs of degree a b , with q quadrangles, if q<= abn/4 and 5<=a < b = 0 (iii) triregular graphs of degree 1, a, b that are quadran...

let $f: arightarrow b$ be a ring homomorphism and let $j$ be an ideal of $b$. in this paper, we investigate the transfer of the property of coherence to the amalgamation $abowtie^{f}j$. we provide necessary and sufficient conditions for $abowtie^{f}j$ to be a coherent ring.

Tungsten trioxide nanoparticles with two different sizes (average particle sizes about 50 and 80 nm) were prepared by the spray pyrolysis method. Photo degradation of Congo Red (azo dye) showed that photo catalytic property of the as-prepared WO3 nanoparticles with average size about 80 nm is higher than the sample with average size about 50 nm. Photo degradation of Rhodamine B (...

We characterize permutational wreath products with Property (FA). For instance, the standard wreath product A o B of two nontrivial countable groups A,B has Property (FA) if and only if B has Property (FA) and A is a finitely generated group with finite abelianisation. We also prove an analogous result for hereditary Property (FA). On the other hand, we prove that many wreath products with here...

In this contribution connections between input fuzzy relations R1, . . . ,Rn on a set X and the output fuzzy relationRF = F(R1, . . . ,Rn) are studied. F is a function of the form F : [0, 1]n → [0, 1] and RF is called an aggregated fuzzyrelation. In the literature the problem of preservation, by a function F, diverse types of properties of fuzzy relationsR1, . . . ,Rn is examined. Here, it is c...

For a ⊆ b ⊆ ω with b \ a infinite, the set D = {x ∈ [ω] : a ⊆ x ⊆ b} is called a doughnut. A set S ⊆ [ω] has the doughnut property D , if it contains or is disjoint from a doughnut. It is known that not every set S ⊆ [ω] has the doughnut property, but S has the doughnut property if it has the Baire property B or the Ramsey property R . In this paper it is shown that a finite support iteration o...

It is well known that the maximal possible length of a minimal zero-sum sequence S in the group Z/nZ⊕Z/nZ equals 2n−1, and we investigate the structure of such sequences. We say that some integer n ≥ 2 has Property B, if every minimal zero-sum sequence S in Z/nZ⊕Z/nZ with length 2n− 1 contains some element with multiplicity n− 1. If some n ≥ 2 has Property B, then the structure of such sequence...

B-terms are built from the B combinator alone defined by B ≡ λf.λg.λx.f (g x), which is well-known as a function composition operator. This paper investigates an interesting property of B-terms, that is, whether repetitive right applications of a B-term circulates or not. We discuss conditions for B-terms to and not to have the property through a sound and complete equational axiomatization. Sp...