Existence and uniqueness of structures computable in polynomial time (Q321268): Difference between revisions

@@ 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.1007/s10469-016-9377-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2394740678
@@ Property / OpenAlex ID: W2394740678 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity and categoricity
@@ Property / cites work: Complexity and categoricity / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial-time versus recursive models
@@ Property / cites work: Polynomial-time versus recursive models / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial-time Abelian groups
@@ Property / cites work: Polynomial-time Abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249365
@@ Property / cites work: Q4249365 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4005059
@@ Property / cites work: Q4005059 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4517359
@@ Property / cites work: Q4517359 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4210618
@@ Property / cites work: Q4210618 / rank @@
+Normal rank
@@ Property / cites work @@
+Countability of widths of algebraic reducibility structures for models in some classes
+Normal rank
@@ Property / cites work @@
+Algorithmic degree of unars
@@ Property / cites work: Algorithmic degree of unars / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic dependences and reducibilities of constructivizations in universal domains
+Normal rank
@@ Property / cites work @@
+Algebraically nonequivalent constructivization for infinite-dimensional vector space
+Normal rank
@@ Property / cites work @@
+Q3706487
@@ Property / cites work: Q3706487 / rank @@
+Normal rank