Generic undecidability of universal theories (Q2334766): 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.33048/semi.2019.16.089
+Normal rank
@@ Property / OpenAlex ID @@
+W3015705619
@@ Property / OpenAlex ID: W3015705619 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic geometry over algebraic structures. III: Equationally Noetherian property and compactness
+Normal rank
@@ Property / cites work @@
+The halting problem is decidable on a set of asymptotic probability one
+Normal rank
@@ Property / cites work @@
+Generic-case complexity, decision problems in group theory, and random walks.
+Normal rank
@@ Property / cites work @@
+Average-case complexity and decision problems in group theory.
+Normal rank
@@ Property / cites work @@
+Generic complexity of undecidable problems
@@ Property / cites work: Generic complexity of undecidable problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4369384
@@ Property / cites work: Q4369384 / rank @@
+Normal rank