The following pages link to Categorical Horn classes. II (Q541986):
Displaying 12 items.
- Categorical Horn theories and modules (Q662650) (← links)
- Model complete universal Horn classes (Q800351) (← links)
- Locally finite countably-categorical Horn theories (Q918543) (← links)
- Groupoids of rank 2 generating categorical Horn classes (Q1071754) (← links)
- Semigroups generating categorical Horn classes (Q1088782) (← links)
- Models of Horn theories revisited (Q1321041) (← links)
- On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions (Q1652877) (← links)
- Expansions of categorical antiadditive Horn theories till additive ones (Q1707927) (← links)
- Elimination of quantifiers in Horn theories having a small number of models (Q1803022) (← links)
- Permutation groups in categorical additive Horn theories (Q2364348) (← links)
- The Essentially Equational Theory of Horn Classes (Q4487250) (← links)
- Preservation of elementarity by tensor products of tracial von Neumann algebras (Q6644087) (← links)
