Implications of positive formulas in modules (RIMS)

Abstract

In this survey the role of implications of positive formulas -- finitary and infinitary -- is dicussed, in general and in module categories, where they seem of particular importance. A list of algebraic examples is given, some old, some rather new, and properties are derived from the particular shape of implications involved.

References in corpus (2)

• Injective stabilization of additive functors. II. (Co)torsion and the Auslander-Gruson-Jensen functor
• Linear Algebra Over a Ring