Jullien’s indecomposability theorem states that if a scattered countable linear order is indecomposable, then it is either indecomposable to the left, or indecomposable to the right. The theorem was shown by Montalbán to be a theorem of hyperarithmetic analysis. We identify the strength of the theorem relative to standard reverse mathematics markers. We show that it lies strictly between weak Σ...

We give a complete classification of infinite dimensional indecomposable weight modules over the Lie superalgebra sl(2/1). §1. Introduction Among the basic-classical Lie superalgebras classified by Kac [3], the lowest dimensional of these is the Lie superalgebra B(0, 1) or osp(1, 2), while the lowest dimensional of these which has an isotropic odd simple root is the Lie superalgebra A(1, 0) or ...

Let 1c "be a field and A a finite-dimensional 7c-algebra (associative, with 1). AVe consider representations of A as rings of endomorpliisms of finitedimensional 7c-spaces, and thus JL-modules, and we ask for a classification of such representations. More generally, we may consider the following problem: given an abelian category # and simple ( = irreducible) objects F(l),..., B(n) in #, what a...

We study direct sums of structures with a one element subuniverse. We give a characterization of direct sums reminescent to that of inner products of groups. The strict refinement property is adapted to direct sums and to restricted Cartesian products of graphs. If a structure has the strict refinement property (for direct products), it has the strict refinement property for direct sums. Connec...

We prove that for every k > 1, there exist k-fold coverings of the plane (1) with strips, (2) with axis-parallel rectangles, and (3) with homothets of any fixed concave quadrilateral, that cannot be decomposed into two coverings. We also construct, for every k > 1, a set of points P and a family of disks D in the plane, each containing at least k elements of P , such that no matter how we color...

A conformally indecomposable flow f on a signed graph Σ is a nonzero integral flow that cannot be decomposed into f = f1 + f2, where f1, f2 are nonzero integral flows having the same sign (both ≥ 0 or both ≤ 0) at every edge. This paper is to classify at integer scale conformally indecomposable flows into characteristic vectors of Eulerian cycle-trees — a class of signed graphs having a kind of...