Horn sentences
From MaRDI portal
Publication:5606571
DOI10.1016/0003-4843(70)90002-1zbMATH Open0206.27801OpenAlexW4210288856MaRDI QIDQ5606571FDOQ5606571
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
Cited In (21)
- Axiomatizable classes with strong homomorphisms
- On subsystems of reduced powers
- \(\aleph_0\)-categoricity and stability of rings
- On boolean functions and connected sets
- A note on definability in equational logic
- The periodic power of \(\mathcal A\) and complete Horn theories
- Direct product decomposition of theories of modules
- Title not available (Why is that?)
- On Horn theories
- Fragments of first order logic, I: universal Horn logic
- On Horn spectra
- A semigroup of theories and its lattice of idempotent elements
- A unifying approach to theorems on preservation and interpolation for binary relations between structures
- Sheaves and normal submodels
- Theories of modules closed under direct products
- On categories of algebras equivalent to a quasivariety
- Model complete universal Horn classes
- Horn Classes and Reduced Direct Products
- Every two elementarily equivalent models have isomorphic ultrapowers
- CONTINUOUS SENTENCES PRESERVED UNDER REDUCED PRODUCTS
- Direct product decompositions of structures and theories
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)