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

@@ 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