Horn Classes and Reduced Direct Products (Q5676210): Difference between revisions

@@ Property / cites work @@
+Horn sentences
@@ Property / cites work: Horn sentences / 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 @@
+The theory of Boolean ultrapowers
@@ Property / cites work: The theory of Boolean ultrapowers / rank @@
+Normal rank
@@ Property / cites work @@
+Every two elementarily equivalent models have isomorphic ultrapowers
+Normal rank