Sciweavers

74
Voted
MLQ
2000
99views more  MLQ 2000»
14 years 10 months ago
The Essentially Equational Theory of Horn Classes
It is well known that the model categories of universal Horn theories are locally presentable, hence essentially algebraic [2]. In the special case of quasivarieties a direct tran...
Hans-E. Porst