Reduced Products and Horn Classes (Q5596751): Difference between revisions

@@ label / en / label / en @@
+Reduced Products and Horn Classes
@@ Property / full work available at URL @@
+https://doi.org/10.2307/1994209
@@ Property / full work available at URL: https://doi.org/10.2307/1994209 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4245125134
@@ Property / OpenAlex ID: W4245125134 / rank @@
+Normal rank
@@ Property / title @@
+Reduced Products and Horn Classes (English)
@@ Property / title: Reduced Products and Horn Classes (English) / rank @@
+Normal rank
@@ Property / cites work @@
+Horn sentences in identity theory
@@ Property / cites work: Horn sentences in identity theory / rank @@
+Normal rank
@@ Property / cites work @@
+On Arithmetical Classes Not Closed Under Direct Union
+Normal rank
@@ Property / cites work @@
+An improved prenex normal form<sup>1</sup>
@@ Property / cites work: An improved prenex normal form<sup>1</sup> / rank @@
+Normal rank
@@ Property / cites work @@
+On closure under direct product
@@ Property / cites work: On closure under direct product / rank @@
+Normal rank
@@ Property / cites work @@
+The first order properties of products of algebraic systems
+Normal rank
@@ Property / cites work @@
+Reduced direct products
@@ Property / cites work: Reduced direct products / rank @@
+Normal rank
@@ Property / cites work @@
+Consistency of the Continuum Hypothesis. (AM-3)
@@ Property / cites work: Consistency of the Continuum Hypothesis. (AM-3) / rank @@
+Normal rank
@@ Property / cites work @@
+Rings of Real-Valued Continuous Functions. I
@@ Property / cites work: Rings of Real-Valued Continuous Functions. I / rank @@
+Normal rank
@@ Property / cites work @@
+On sentences which are true of direct unions of algebras
+Normal rank
@@ Property / cites work @@
+Theory of models with generalized atomic formulas
@@ Property / cites work: Theory of models with generalized atomic formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Q5728445
@@ Property / cites work: Q5728445 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3230356
@@ Property / cites work: Q3230356 / rank @@
+Normal rank
@@ Property / cites work @@
+Existential Horn Sentences
@@ Property / cites work: Existential Horn Sentences / rank @@
+Normal rank
@@ Property / cites work @@
+Properties preserved under homomorphism
@@ Property / cites work: Properties preserved under homomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+The decision problem for some classes of sentences without quantifiers
+Normal rank
@@ Property / cites work @@
+Homogeneous Universal Models.
@@ Property / cites work: Homogeneous Universal Models. / rank @@
+Normal rank
@@ Property / cites work @@
+Über die Axiome Produkt-Abgeschlossener Arithmetischer Klassen
+Normal rank
@@ Property / cites work @@
+Q5833217
@@ Property / cites work: Q5833217 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3265664
@@ Property / cites work: Q3265664 / rank @@
+Normal rank
@@ Property / cites work @@
+Models of complete theories
@@ Property / cites work: Models of complete theories / rank @@
+Normal rank