The Title of the Treaty

This chapter examines the title of the ATT which is covered by Article 2(1) and Article 2(2). The title of the treaty reflects the title and the mandate of UN General Assembly Resolution 64/48. Article 2(1) states that the treaty ‘shall apply to all conventional arms’ within the categories set out in that provision. Conventional arms are understood to include all arms other than weapons of mass destruction. In turn, weapons of mass destruction are usefully defined by the United States (US) Department of Defense as ‘chemical, biological, radiological, or nuclear weapons capable of a high order of destruction or causing mass casualties and exclude the means of transporting or propelling the weapon where such means is a separable and divisible part from the weapon’. Article 2(2) meanwhile contains the definition of trade and transfer used in the ATT.

Cellular covers of totally ordered abelian groups

Cellular covers of groups, and in particular, those of divisible abelian groups, were studied in [FARJOUN, E. D.—GÖBEL, R.—SEGEV, Y.: Cellular covers of groups, J. Pure Appl. Algebra 208, (2007), 61–76], [CHA-CHÓLSKI, W.—FARJOUN, E. D.—GÖBEL, R.—SEGEV, Y.: Cellular covers of divisible abelian groups. In: Contemp. Math. 504, Amer. Math. Soc., Providence, RI, 2009, pp. 77–97], and continued in [FUCHS, L.—GÖBEL, R.: Cellular covers of abelian groups, Results Math. 53, (2009), 59–76] for abelian groups in general. In this note we are investigating cellular covers in the category of totally ordered abelian groups (called o-cellular covers; for definition see Section 2). Some results are similar to those on torsion-free abelian groups (unordered), while others are completely different. For instance, though kernels of o-cellular covers can not be non-zero divisible groups (Lemma 3.1), they may contain non-zero divisible subgroups (Example 3.2); however, the divisible part can not be much larger than the reduced part (Theorem 3.4). There are o-groups, even among the additive subgroups of the rationals, whose o-cellular covers form a proper class (Theorem 4.3).

The ideal structure of existentially closed algebras

Throughout this paper, ⊿ will denote a commutative ring with multiplicative identity, 1. The algebras we consider will be associative ⊿-algebras which are not necessarily commutative and do not necessarily contain a multiplicative identity. By standard methods, every ⊿-algebra can be embedded in an existentially closed (e.c.) Δ-algebra—and even in one which is existentially universal (e.u.). (See §0 for more details.)We shall be studying the ideals of e.c. ⊿-algebras. Since every ideal is a sum of principal ideals, a natural place to begin is with principal ideals. In §1 we show that for an algebraically closed (a.c.) ⊿-algebra A, and elements a, b in A, whether or not b belongs to the principal ideal (a)A generated by a, depends only on the underlying ⊿-module structure of A; more precisely, for b to belong to (a)A it is necessary and sufficient that b satisfies every positive existential formula θ(ν) in the language of ⊿-modules which is satisfied by a (cf. Corollary 1.8). For special classes of rings ⊿ this condition can be simplified (Proposition 1.10): e.g. for Prüfer rings it is enough to consider formulas of the form ∃x(λx = μν); and for regular rings it is enough to consider formulas μν = 0 (where λ, μ ∈ ⊿).In §2 we use the results of §1 to study e.c. and e.u. algebras over a principal ideal domain (p.i.d.) ⊿ (Note that for ⊿ = Z this includes the case of e.c. rings.) We obtain a necessary and sufficient condition for an a.c. ⊿-algebra to be e.c. (Theorem 2.4). We also show (Theorem 2.2) that in an a.c. ⊿-algebra A every element that is divisible by all nonzero elements of ⊿ belongs to the divisible part D(A) of A. (It should be noted that, while a.c. ⊿-modules are always divisible [ES], an e.c. ⊿-algebra is never divisible: see the end of §0. Moreover, an e.c. ⊿-algebra always contains torsion-free elements: see Remark 2.3.) We prove that every bounded ideal in an a.c. ⊿-algebra is principal (2.7).