Order:
  1.  16
    Model theory of modules over a serial ring.Paul C. Eklof & Ivo Herzog - 1995 - Annals of Pure and Applied Logic 72 (2):145-176.
    We use the Drozd-Warfield structure theorem for finitely presented modules over a serial ring to investigate the model theory of modules over a serial ring, in particular, to give a simple description of pp-formulas and to classify the pure-injective indecomposable modules. We also study the question of whether every pure-injective indecomposable module over a valuation ring is the hull of a uniserial module.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  23
    The nonstandard quantum plane.Ivo Herzog & Sonia L’Innocente - 2008 - Annals of Pure and Applied Logic 156 (1):78-85.
    Let Uq be the quantum group associated to sl2 with char≠2 and qk not a root of unity. The article is devoted to the model-theoretic study of the quantum plane kq[x,y], considered as an -structure, where is the language of representations of Uq. It is proved that the lattice of definable k-subspaces of kq[x,y] is complemented. This is deduced from the same result for the Uq-module M, which is defined to be the direct sum of all finite dimensional representations of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3. Modules with regular generic types. Part IV.Ivo Herzog & Philipp Rothmaler - 1992 - Journal of Symbolic Logic 57 (1):193-199.
  4. When cotorsion modules are pure injective.Ivo Herzog & Philipp Rothmaler - 2009 - Journal of Mathematical Logic 9 (1):63-102.
    We characterize rings over which every cotorsion module is pure injective in terms of certain descending chain conditions and the Ziegler spectrum, which renders the classes of von Neumann regular rings and of pure semisimple rings as two possible extremes. As preparation, descriptions of pure projective and Mittag–Leffler preenvelopes with respect to so-called definable subcategories and of pure generation for such are derived, which may be of interest on their own. Infinitary axiomatizations lead to coherence results previously known for the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  9
    Model-theoretic aspects of Σ-cotorsion modules.Pedro A. Guil Asensio & Ivo Herzog - 2007 - Annals of Pure and Applied Logic 146 (1):1-12.
    Let R be an associative ring with identity. It is shown that every Σ-cotorsion left R-module satisfies the descending chain condition on divisibility formulae. If R is countable, the descending chain condition on M implies that it must be Σ-cotorsion. It follows that, for countable R, the class of Σ-cotorsion modules is closed under elementary equivalence and pure submodules. The modules M that satisfy this descending chain condition are the cotorsion analogues of totally transcendental modules; we characterize them as the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation