There are just four second-order quantifiers (Q2264753): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5570212
@@ Property / cites work: Q5570212 / rank @@
+Normal rank
@@ Property / cites work @@
+Intersection Theorems for Systems of Sets (II)
@@ Property / cites work: Intersection Theorems for Systems of Sets (II) / rank @@
+Normal rank
@@ Property / cites work @@
+Q5596789
@@ Property / cites work: Q5596789 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5666543
@@ Property / cites work: Q5666543 / rank @@
+Normal rank
@@ Property / cites work @@
+On elementary types of symmetric groups
@@ Property / cites work: On elementary types of symmetric groups / rank @@
+Normal rank
@@ Property / cites work @@
+Homogeneous Universal Models.
@@ Property / cites work: Homogeneous Universal Models. / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586299
@@ Property / cites work: Q5586299 / rank @@
+Normal rank
@@ Property / cites work @@
+First order theory of permutation groups
@@ Property / cites work: First order theory of permutation groups / rank @@
+Normal rank