Working under large cardinal assumptions, we study the Borel-reducibility between equivalence relations modulo restrictions of the non-stationary ideal on some fixed cardinal κ. We show the consistency of E ++,λ++ λ-club , the relation of equivalence modulo the non-stationary ideal restricted to Sλ ++ λ in the space (λ++)λ ++ , being continuously reducible to E ++ λ+-club , the relation of equi...

No surgery on a non-torus 2-bridge knot yields a reducible 3-manifold as shown in Theorem 2(a) in [7] by A. Hatcher and W. Thurston. Dehn surgeries on 2-bridge knots are already well studied by M. Brittenham and Y.-Q. Wu in [2]. See also [11]. On 2-bridge links of 2-components, Wu showed in [13, Theorem 5.1 and Remark 5.5] the following theorem. The universal covering space of a laminar 3-manif...

We study homogeneous Lorentzian manifolds M=G/L of a connected reductive Lie group G modulo subgroup L, under the assumption that M is (almost) G-effective and isotropy representation totally reducible. show description such reduces to case semisimple groups G. Moreover, we prove space reductive. describe all reducible subgroups Lorentz divide them into three types. The Type I are compact, whil...

Let $R$ be a commutative ring with identity and $M$ be a unitary $R$-module. An $R$-module $M$ is called a multiplication module if for every submodule $N$ of $M$ there exists an ideal $I$ of $R$ such that $N = IM$. It is shown that over a Noetherian domain $R$ with dim$(R)leq 1$, multiplication modules are precisely cyclic or isomorphic to an invertible ideal of $R$. Moreover, we give a charac...

Identify a string x over f0; 1g with the positive integer whose binary representation is 1x. We say that a self-reduction is k-local if on input x all queries belong to fx ? 1; : : :; x ? kg. We show that all k-locally self-reducible sets belong to PSPACE. However, the power of k-local self-reductions changes drastically between k = 2 and k = 3. Although all 2-locally self-reducible sets belong...

We introduce a new framework for elimination-based data flow analysis. We present a simple algorithm and a delayed algorithm that exhibit a worstcase complexity of O(n) and Õ(m). The algorithms use a new compact data structure for representing reducible flow graphs called Annotated Decomposition Trees. This data structure extends a binary tree to represent flowgraph information, dominance relat...

We construct new M-theory solutions of M5 branes that are a realization of the fully localized ten dimensional NS5/D6 and NS5/D5 brane intersections. These solutions are obtained by embedding self-dual geometries lifted to M-theory. We reduce these solutions down to ten dimensions, obtaining new D-brane systems in type IIA/IIB supergravity. The worldvolume theories of the NS5-branes are new non...