Fragments of first order logic, I: universal Horn logic (Q4159026): Difference between revisions

@@ Property / cites work @@
+On universal Horn classes categorical in some infinite power
+Normal rank
@@ Property / cites work @@
+Categorial quasivarieties
@@ Property / cites work: Categorial quasivarieties / rank @@
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ Property / cites work @@
+A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY
@@ Property / cites work: A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY / rank @@
+Normal rank
@@ Property / cites work @@
+Properties preserved under homomorphism
@@ Property / cites work: Properties preserved under homomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+On Polynomial Algebras and Free Algebras
@@ Property / cites work: On Polynomial Algebras and Free Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Horn sentences
@@ Property / cites work: Horn sentences / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of calculii for axiomatically defined classes of algebras
+Normal rank
@@ Property / cites work @@
+The decision problem for some classes of sentences without quantifiers
+Normal rank