Assume ZFC + "There is a weakly compact cardinal" is consistent. Then: (i) For every S c C), ZFC + "S and the monadic theory of o2 are recursive each in the other" is consistent; and (ii) ZFC + "The full second-order theory of w2 is interpretable in the monadic theory of W2" is consistent. Introduction. First we recall the definition of monadic theories. The monadic language corresponding to a ...

The paper is concerned with compact bilinear operators on asymmetric normed spaces. study of multilinear spaces was initiated by Latreche and Dahia (2020) [24]. We go further in this direction prove a Schauder type theorem the compactness adjoint operator ideal properties operators. These extend some results Ramanujan Schock (1985) [34], Ruch (1989) [36], Banach On space forms one introduces an...

New techniques for superscalar instruction issuing are presented. It is shown that the data dependency check for both in-order and out-of-order issuing can be performed in O(logw) gate delay using O(w2) primitive gates, where w is the size of the instruction buffer. Furthermore, we present a new counting based technique for assigning instructions to resources. It requires a delay of O(logw+logm...

Correspondence to: Dr Yee Guan Yap, Department of Cardiological Sciences, St George’s Hospital Medical School, Cranmer Terrace, London SW17 0RE, UK; [email protected] _________________________ I n 1966, Francois Dessertenne described a specific electrocardiographic form of polymorphic ventricular tachycardia, which he termed ‘‘torsades de pointes’’ (TdP). w2 The word ‘‘torsades’’ refers to an ornam...

Let two Heegaard splittings V1 ∪ W1 and V2 ∪ W2 of a 3manifold M be given. We consider the union stabilization M = V ∪ W which is a common stabilization of V1 ∪ W1 and V2 ∪ W2 having the property that V = V1 ∪ V2. We show that any two Heegaard splittings of a 3-manifold have a union stabilization. We also give some examples with numerical bounds on the minimal genus of union stabilization. On t...