Descriptive complexity of finite structures: Saving the quantifier rank (Q5718668): Difference between revisions

@@ Property / DOI @@
-.2178/jsl/1120224721
@@ Property / DOI: 10.2178/jsl/1120224721 / rank @@
-Normal rank
@@ Property / cites work @@
+An optimal lower bound on the number of variables for graph identification
+Normal rank
@@ Property / cites work @@
+The strange logic of random graphs
@@ Property / cites work: The strange logic of random graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4227581
@@ Property / cites work: Q4227581 / rank @@
+Normal rank
@@ Property / cites work @@
+Definability with bounded number of bound variables
+Normal rank
@@ Property / cites work @@
+Finite-model theory -- A personal perspective
@@ Property / cites work: Finite-model theory -- A personal perspective / rank @@
+Normal rank
@@ Property / DOI @@
+.2178/JSL/1120224721
@@ Property / DOI: 10.2178/JSL/1120224721 / rank @@
+Normal rank