On Horn theories (Q2265427): Difference between revisions

@@ Property / cites work @@
+Reduced products and nonstandard logics
@@ Property / cites work: Reduced products and nonstandard logics / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory
@@ Property / cites work: Model theory / 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 @@
+Horn sentences
@@ Property / cites work: Horn sentences / rank @@
+Normal rank
@@ Property / cites work @@
+Q5537655
@@ Property / cites work: Q5537655 / rank @@
+Normal rank
@@ Property / cites work @@
+Reduced Products and Horn Classes
@@ Property / cites work: Reduced Products and Horn Classes / rank @@
+Normal rank
@@ Property / cites work @@
+Ultraproducts which are not saturated
@@ Property / cites work: Ultraproducts which are not saturated / rank @@
+Normal rank
@@ Property / cites work @@
+On countably compact reduced products, III
@@ Property / cites work: On countably compact reduced products, III / rank @@
+Normal rank
@@ Property / cites work @@
+For what filters is every reduced product saturated?
+Normal rank
@@ Property / OpenAlex ID @@
+W2131621940
@@ Property / OpenAlex ID: W2131621940 / rank @@
+Normal rank