Implications of positive formulas in modules (RIMS)
Logic
2019-04-15 v1 Commutative Algebra
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.
Cite
@article{arxiv.1904.06016,
title = {Implications of positive formulas in modules (RIMS)},
author = {Philipp Rothmaler},
journal= {arXiv preprint arXiv:1904.06016},
year = {2019}
}