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 / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2025099804
@@ Property / OpenAlex ID: W2025099804 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+math/0305244
@@ Property / arXiv ID: math/0305244 / 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
@@ links / mardi / name / links / mardi / name @@
+Publication:5718668