A Gandy Theorem for Abstract Structures and Applications to First-Order Definability (Q3576061): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-03073-4_30
+Normal rank
@@ Property / OpenAlex ID @@
+W1794701400
@@ Property / OpenAlex ID: W1794701400 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4075450
@@ Property / cites work: Q4075450 / rank @@
+Normal rank
@@ Property / cites work @@
+Definability in the Homomorphic Quasiorder of Finite Labeled Forests
+Normal rank
@@ Property / cites work @@
+Undecidability in the Homomorphic Quasiorder of Finite Labelled Forests
+Normal rank
@@ Property / cites work @@
+Definability in the \(h\)-quasiorder of labeled forests
+Normal rank
@@ Property / cites work @@
+Definability of closure operations in the \(h\)-quasiorder of labeled forests
+Normal rank
@@ Property / cites work @@
+Theories of orders on the set of words
@@ Property / cites work: Theories of orders on the set of words / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchies of Δ<sup>0</sup><sub>2</sub>‐measurable <i>k</i> ‐partitions
+Normal rank