Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
start [2021/02/22 20:42] jipsen |
start [2021/02/22 21:10] jipsen |
||
---|---|---|---|
Line 15: | Line 15: | ||
[[Varieties]] | [[Quasivarieties]] | [[Universal classes]] | [[First-order classes]] | [[Second-order classes]] | [[Varieties]] | [[Quasivarieties]] | [[Universal classes]] | [[First-order classes]] | [[Second-order classes]] | ||
- | [[Algebras]] | [[Logics]] | [[Syntax]] | [[Terms]] | [[Equations]] | [[Horn formulas]] | [[Universal formulas]] | [[First-order formulas]] | + | [[Algebras]] | [[Logics]] | [[Syntax]] | [[Terms]] | [[Equations]] | [[Horn formulas]] | [[Universal formulas]] | [[First-order formulas]] |
=== Alphabetical list of all classes === | === Alphabetical list of all classes === | ||
- | -[[Abelian groups]] | + | -[[Abelian groups]] [[wp> |
-[[Abelian lattice-ordered groups]] | -[[Abelian lattice-ordered groups]] | ||
-[[Abelian ordered groups]] | -[[Abelian ordered groups]] | ||
-[[Abelian p-groups]] | -[[Abelian p-groups]] | ||
-[[Abelian partially ordered groups]] | -[[Abelian partially ordered groups]] | ||
- | -[[Action algebras]] | + | -[[Action algebras]] [[wp> |
-[[Action lattices]] | -[[Action lattices]] | ||
-[[Algebraic lattices]] | -[[Algebraic lattices]] | ||
- | -[[Algebraic posets]] | + | -[[Algebraic posets]] [[wp> |
-[[Algebraic semilattices]] | -[[Algebraic semilattices]] | ||
- | -[[Allegories]] | + | -[[Allegories]] [[wp> |
-[[Almost distributive lattices]] | -[[Almost distributive lattices]] | ||
- | -[[Associative algebras]] | + | -[[Associative algebras]] [[wp> |
- | -[[Banach spaces]] | + | -[[Banach spaces]] [[wp> |
- | -[[Bands]] | + | -[[Bands]] [[wp> |
-[[Basic logic algebras]] | -[[Basic logic algebras]] | ||
- | -[[BCI-algebras]] | + | -[[BCI-algebras]] [[wp>BCI algebra]] |
- | -[[BCK-algebras]] | + | -[[BCK-algebras]] [[wp>BCK algebra]] |
-[[BCK-join-semilattices]] | -[[BCK-join-semilattices]] | ||
-[[BCK-lattices]] | -[[BCK-lattices]] | ||
Line 43: | Line 43: | ||
-[[Binars]], | -[[Binars]], | ||
-[[Basic logic algebras|BL-algebras]] | -[[Basic logic algebras|BL-algebras]] | ||
- | -[[Boolean algebras]] | + | -[[Boolean algebras]] [[wp> |
-[[Boolean algebras with operators]] | -[[Boolean algebras with operators]] | ||
-[[Boolean groups]] | -[[Boolean groups]] |