Punctual definability on structures (Q2033006): Difference between revisions

@@ Property / author @@
-Iskander Sh. Kalimullin
@@ Property / author: Iskander Sh. Kalimullin / rank @@
-Normal rank
@@ Property / author @@
+Iskander Sh. Kalimullin
@@ Property / author: Iskander Sh. Kalimullin / 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.2021.102987
+Normal rank
@@ Property / OpenAlex ID @@
+W3155670288
@@ Property / OpenAlex ID: W3155670288 / rank @@
+Normal rank
@@ Property / cites work @@
+FOUNDATIONS OF ONLINE STRUCTURE THEORY
@@ Property / cites work: FOUNDATIONS OF ONLINE STRUCTURE THEORY / rank @@
+Normal rank
@@ Property / cites work @@
+Q4223058
@@ Property / cites work: Q4223058 / rank @@
+Normal rank
@@ Property / cites work @@
+AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES
+Normal rank
@@ Property / cites work @@
+PUNCTUAL CATEGORICITY AND UNIVERSALITY
@@ Property / cites work: PUNCTUAL CATEGORICITY AND UNIVERSALITY / rank @@
+Normal rank
@@ Property / cites work @@
+Graphs are not universal for online computability
@@ Property / cites work: Graphs are not universal for online computability / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of computable categoricity
@@ Property / cites work: The complexity of computable categoricity / rank @@
+Normal rank
@@ Property / cites work @@
+Q5155667
@@ Property / cites work: Q5155667 / rank @@
+Normal rank
@@ Property / cites work @@
+An Effective Version of Dilworth's Theorem
@@ Property / cites work: An Effective Version of Dilworth's Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic structures computable without delay
@@ Property / cites work: Algebraic structures computable without delay / rank @@
+Normal rank
@@ Property / cites work @@
+The diversity of categoricity without delay
@@ Property / cites work: The diversity of categoricity without delay / rank @@
+Normal rank
@@ Property / cites work @@
+Q3396632
@@ Property / cites work: Q3396632 / rank @@
+Normal rank
@@ Property / cites work @@
+Eliminating unbounded search in computable algebra
+Normal rank
@@ Property / cites work @@
+A computability theoretic equivalent to Vaught's conjecture
+Normal rank
@@ Property / cites work @@
+Effectively Existentially-Atomic Structures
@@ Property / cites work: Effectively Existentially-Atomic Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank