๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Description of categorical positive Horn classes

โœ Scribed by E. A. Palyutin


Book ID
105272993
Publisher
Springer US
Year
1980
Tongue
English
Weight
1007 KB
Volume
19
Category
Article
ISSN
0002-5232

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Categorical horn classes. 2
โœ E. A. Palyutin ๐Ÿ“‚ Article ๐Ÿ“… 2011 ๐Ÿ› Springer US ๐ŸŒ English โš– 361 KB
The Essentially Equational Theory of Hor
โœ Hans-E. Porst ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 233 KB

It is well known that the model categories of universal Horn theories are locally presentable, hence essentially algebraic (see ). In the special case of quasivarieties a direct translation of the implicational syntax into the essentially equational one is known (see ). Here we present a similar tr