Representation theorems for recursively enumerable sets and a conjecture related to Poonen's large subring of $\mathbb Q$ (Q393224): Difference between revisions

@@ Property / author @@
+Martin Davis
@@ Property / author: Martin Davis / 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.1007/s10958-010-0176-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2031515487
@@ Property / OpenAlex ID: W2031515487 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q122884024
@@ Property / Wikidata QID: Q122884024 / rank @@
+Normal rank
@@ Property / cites work @@
+The word problem
@@ Property / cites work: The word problem / rank @@
+Normal rank
@@ Property / cites work @@
+Subgroups of finitely presented groups
@@ Property / cites work: Subgroups of finitely presented groups / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992465
@@ Property / cites work: Q3992465 / rank @@
+Normal rank
@@ Property / cites work @@
+On the algorithmic insolvability of the word problem in group theory
+Normal rank
@@ Property / cites work @@
+Hilbert’s Tenth Problem and Mazur’s Conjecture for large subrings of $\mathbb {Q}$
+Normal rank
@@ Property / cites work @@
+Recursively enumerable sets of positive integers and their decision problems
+Normal rank

Representation theorems for recursively enumerable sets and a conjecture related to Poonen's large subring of \(\mathbb Q\) (Q393224): Difference between revisions