Horn sentences
From MaRDI portal
Publication:5606571
DOI10.1016/0003-4843(70)90002-1zbMath0206.27801OpenAlexW4210288856MaRDI QIDQ5606571
Publication date: 1970
Published in: Annals of Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0003-4843(70)90002-1
Related Items
Axiomatizable classes with strong homomorphisms ⋮ Unnamed Item ⋮ CONTINUOUS SENTENCES PRESERVED UNDER REDUCED PRODUCTS ⋮ Direct product decompositions of structures and theories ⋮ On boolean functions and connected sets ⋮ A note on definability in equational logic ⋮ Theories of modules closed under direct products ⋮ The periodic power of \(\mathcal A\) and complete Horn theories ⋮ Horn Classes and Reduced Direct Products ⋮ On Horn theories ⋮ Fragments of first order logic, I: universal Horn logic ⋮ \(\aleph_0\)-categoricity and stability of rings ⋮ Direct product decomposition of theories of modules ⋮ A semigroup of theories and its lattice of idempotent elements ⋮ Sheaves and normal submodels ⋮ On Horn spectra ⋮ Every two elementarily equivalent models have isomorphic ultrapowers ⋮ On subsystems of reduced powers ⋮ On categories of algebras equivalent to a quasivariety ⋮ A unifying approach to theorems on preservation and interpolation for binary relations between structures ⋮ Model complete universal Horn classes
