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