Sciweavers

66
Voted
MLQ
2000
99views more  MLQ 2000»
14 years 8 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