We apply the Gromov–Hausdorff metric $$d_G$$ for characterization of certain generalized manifolds. Previously, we have proven that with respect to $$d_G,$$ n-manifolds are limits spaces which obtained by gluing two topological a controlled homotopy equivalence (the so-called 2-patch spaces). In present paper, consider manifold-like $$X^{n},$$ introduced in 1966 Mardeić and Segal, characterized...

In this paper, the authors consider the first-order nonresonance impulsive differential inclusion with periodic conditions y′(t)− λy(t) ∈ F (t, y(t)), a.e. t ∈ J\{t1, . . . , tm}, y(t+k )− y(t − k ) = Ik(y(t − k )), k = 1, 2, . . . ,m, y(0) = y(b), where J = [0, b] and F : J × R → P(R) is a set-valued map. The functions Ik characterize the jump of the solutions at impulse points tk (k = 1, 2, ....

We continue the investigation of notions of approximate amenability that were introduced in work of the second and third authors together with R. J. Loy. It is shown that every boundedly approximately contractible Banach algebra has a bounded approximate identity, and that the Fourier algebra of the free group on two generators is not operator approximately amenable. Further examples are obtain...

The paper presents in full details the first linear algorithm given in the literature [6] implementing proof structure correctness for multiplicative linear logic without units. The algorithm is essentially a reformulation of the Danos contractibility criterion in terms of a sort of unification. As for term unification, a direct implementation of the unification criterion leads to a quasi-linea...

We consider the problem of determining the individual preference rankings that are necessarily implied by a dataset consisting of prices, income distributions and total resources. We show the equivalence between the compatibility with individual preference rankings and the existence of a solution to a set of linear equalities and inequalities. Using this characterization, we give new proofs of ...

This paper examines the determinants of intra-firm trade in U.S. imports using detailed countryproduct data. We create a new measure of product contractibility based on the degree of intermediation in international trade for the product. We find important roles for the interaction of country and product characteristics in determining intra-firm trade shares. Intra-firm trade is high for product...

The low cardiac output syndrome following cardiopulmonary bypass is characterized by poor left ventricular contractibility that requires the support of high doses of vasoactive drugs, intra-aortic balloon pump, and sometimes makes it impossible to disconnect the extracorporeal circulation. We report 5 cases in which a "recently created" device in left ventricular support was inserted, the Impel...

Let M be a smooth manifold and Φ be a smooth flow on M . We study the maps M → M generated by smooth shifts along trajectories of Φ, i.e the maps of a form h(x) = Φ(x, σ(x)) where σ is some smooth function on M . We will classify smooth shifts which induce diffeomorphisms ofM and prove contractibility of the set of such diffeomorphisms for large class of flows. These results will be applied to ...