Reduced Products and Horn Classes
From MaRDI portal
Publication:5596751
DOI10.2307/1994209zbMath0199.01103OpenAlexW4245125134MaRDI QIDQ5596751
Publication date: 1965
Full work available at URL: https://doi.org/10.2307/1994209
Related Items (11)
Axiomatizable classes with strong homomorphisms ⋮ CONTINUOUS SENTENCES PRESERVED UNDER REDUCED PRODUCTS ⋮ Algebras defined by equations ⋮ Quantified Constraints in Twenty Seventeen ⋮ Horn Classes and Reduced Direct Products ⋮ On Horn theories ⋮ Adequate Ultrafilters of Special Boolean Algebras ⋮ A.D. Taimanov and model theory in Kazakhstan ⋮ Every two elementarily equivalent models have isomorphic ultrapowers ⋮ Constraint Satisfaction Problems with Infinite Templates ⋮ Reduced products, Horn sentences, and decision problems
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Properties preserved under homomorphism
- On Arithmetical Classes Not Closed Under Direct Union
- The first order properties of products of algebraic systems
- On closure under direct product
- Theory of models with generalized atomic formulas
- Reduced direct products
- Über die Axiome Produkt-Abgeschlossener Arithmetischer Klassen
- Homogeneous Universal Models.
- Models of complete theories
- Horn sentences in identity theory
- Existential Horn Sentences
- An improved prenex normal form1
- Rings of Real-Valued Continuous Functions. I
- On sentences which are true of direct unions of algebras
- Consistency of the Continuum Hypothesis. (AM-3)
- The decision problem for some classes of sentences without quantifiers
This page was built for publication: Reduced Products and Horn Classes
