MODELS OF HORN THEORIES REVISITED

[摘要] Categories of models of universal Horn theories are characterized as locally presentable categories with a ''special'' generating set. This solves a problem of M. Barr.

[发布日期] 1994-03-07