Cited in
(22)- On categories of algebras equivalent to a quasivariety
- Axiomatizable classes with strong homomorphisms
- The periodic power of \(\mathcal A\) and complete Horn theories
- _0-categoricity and stability of rings
- On subsystems of reduced powers
- Direct product decompositions of structures and theories
- A semigroup of theories and its lattice of idempotent elements
- On Horn theories
- Every two elementarily equivalent models have isomorphic ultrapowers
- Direct product decomposition of theories of modules
- A unifying approach to theorems on preservation and interpolation for binary relations between structures
- Theories of modules closed under direct products
- scientific article; zbMATH DE number 3578867 (Why is no real title available?)
- Fragments of first order logic, I: universal Horn logic
- Sheaves and normal submodels
- A note on definability in equational logic
- CONTINUOUS SENTENCES PRESERVED UNDER REDUCED PRODUCTS
- On boolean functions and connected sets
- Horn Classes and Reduced Direct Products
- On absorption's formula definable semigroups of complete theories
- On Horn spectra
- Model complete universal Horn classes
This page was built for publication: Horn sentences
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5606571)
