✦ 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
DOI: 10.1007/bf01669329

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

Semigroups generating categorical Horn c

Semigroups generating categorical Horn classes

✍ A. A. Stepanova 📂 Article 📅 1985 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 397 KB

Groupoids of rank 2 generating categoric

Groupoids of rank 2 generating categorical Horn classes

✍ A. A. Stepanova 📂 Article 📅 1984 🏛 Springer US 🌐 English ⚖ 902 KB

On universal Horn classes categorical in

On universal Horn classes categorical in some infinite power

✍ J. T. Baldwin; A. H. Lachlan 📂 Article 📅 1973 🏛 Springer 🌐 English ⚖ 770 KB

A representation theorem for universal h

A representation theorem for universal horn classes categorical in power

✍ Steven Givant 📂 Article 📅 1979 🏛 Elsevier Science ⚖ 942 KB

The Essentially Equational Theory of Hor

The Essentially Equational Theory of Horn Classes

✍ 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