Ehrenfeucht-Fraïssé games on ordinals (Q2636521): Difference between revisions

@@ Property / author @@
-Feresiano Mwesigye
@@ Property / author: Feresiano Mwesigye / rank @@
-Normal rank
@@ Property / author @@
-John K. Truss
@@ Property / author: John K. Truss / rank @@
-Normal rank
@@ Property / author @@
+Feresiano Mwesigye
@@ Property / author: Feresiano Mwesigye / rank @@
+Normal rank
@@ Property / author @@
+John K. Truss
@@ Property / author: John K. Truss / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.apal.2018.03.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2790064479
@@ Property / OpenAlex ID: W2790064479 / rank @@
+Normal rank
@@ Property / cites work @@
+Ehrenfeucht–Fraïssé Games on Linear Orders
@@ Property / cites work: Ehrenfeucht–Fraïssé Games on Linear Orders / rank @@
+Normal rank
@@ Property / cites work @@
+On quantifier-rank equivalence between linear orders
+Normal rank
@@ Property / cites work @@
+An application of games to the completeness problem for formalized theories
+Normal rank
@@ Property / cites work @@
+On the elementary theory of linear order
@@ Property / cites work: On the elementary theory of linear order / rank @@
+Normal rank
@@ Property / cites work @@
+Classification of finite coloured linear orderings
+Normal rank
@@ Property / cites work @@
+Q3949052
@@ Property / cites work: Q3949052 / rank @@
+Normal rank