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 / Mathematics Subject Classification ID @@
+B25
@@ Property / Mathematics Subject Classification ID: 03B25 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+D25
@@ Property / Mathematics Subject Classification ID: 03D25 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+U05
@@ Property / Mathematics Subject Classification ID: 11U05 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6246154
@@ Property / zbMATH DE Number: 6246154 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:393224

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

Latest revision as of 05:33, 7 July 2024

Statements

Identifiers

Sitelinks

Mathematics(1 entry)