On Horn theories (Q2265427): Difference between revisions

@@ Property / author @@
-Jörg Flum
@@ Property / author: Jörg Flum / rank @@
-Normal rank
@@ Property / author @@
+Jörg Flum
@@ Property / author: Jörg Flum / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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