Let 0 → I → E → B → 0 be a short exact sequence of C*-algebras whereE is separable, I is quasidiagonal (QD) andB is nuclear, QD and satisfies the UCT. It is shown that if the boundary map ∂ : K1(B) → K0(I) vanishes then E must be QD also. A Hahn-Banach type property for K0 of QD C ∗-algebras is also formulated. It is shown that every nuclear QD C∗-algebra has this K0Hahn-Banach property if and ...

We consider the property of vanishing logarithmic term (VLT) for the fundamental solution of the shifted Laplace-d'Alembert operators + b (b a constant), on pseudo-Riemannian reductive symmetric spaces M. Our main result is that such an operator on the c-dual or Flensted-Jensen dual of M has the VLT property if and only if a corresponding operator on M does. For Lorentzian spaces, where the +b ...

A topological space X has the Fréchet-Urysohn property if for each subset A of X and each element x in A, there exists a countable sequence of elements of A which converges to x. Reznichenko introduced a natural generalization of this property, where the converging sequence of elements is replaced by a sequence of disjoint finite sets which eventually intersect each neighborhood of x. In [5], K...

In order to derive a result such as the Alpern Schneider theorem char acterizing safety and liveness properties of concurrent program executions it is shown that all that is needed is a preserving map between com plete Boolean algebras Every property becomes a conjunction of a safety and a liveness property and safety properties can be characterized by sets of con gurations that are to be avoid...

It is reasonably well-known in model theory that expansions of countable countablycategorical structures are closely associated with certain compactly metrizable spaces and, further, that a generic orbit in such a space – in the sense of Baire category – corresponds to an expansion with a particularly well-behaved model theory (relative to the base structure). Results of this kind can be found ...

We say that a convex planar billiard table $$B$$ is $$C^{2}$$ -stably expansive on fixed open subset $$U$$ of the phase space if its map $$f_{B}$$ maximal invariant set $$\Lambda_{B,U}=\bigcap_{n\in\mathbb{Z}}f^{n}_{B}(U)$$ , and this property holds under -perturbations table. In note we prove for such billiards closure periodic points in $$\Lambda_{B,U}$$ uniformly hyperbolic. addition, show a...

Spin takes a model to be veri ed and a property, and outputs true if the model satis es the property or otherwise false, with a counterexample. In the rst case, the user has no indication about why the property is satis ed. It may be the case that the model does not really represent what the user meant to express, and the property is void. It can therefore be useful if the tool could provide so...

While external pressure to change intellectual property (IP) regimes has abated, India faces other challenges not just as a net user/importer but as net creator—actual and potential—of IP. This paper outlines the responses to the four challenges that lie ahead. First, India should consider revising its draft IP legislation so that TRIPs obligations can serve as a mechanism for enforcing its mar...

This paper analyzes the effect of imitation on the rate of technological progress in an endogenous growth model. Quality leaders protect themselves from imitation by secondary development, which increases technological progress. Nevertheless, lower intellectual property rights protection reduces the incentives to enter the research sector, which lowers innovation by outsiders. Simulations show ...