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