The quest for Diophantine finite-fold-ness (Q3383639): Difference between revisions

@@ Property / cites work @@
+Algorithmic Information Theory
@@ Property / cites work: Algorithmic Information Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4075453
@@ Property / cites work: Q4075453 / rank @@
+Normal rank
@@ Property / cites work @@
+An explicit diophantine definition of the exponential function
+Normal rank
@@ Property / cites work @@
+Q4115143
@@ Property / cites work: Q4115143 / rank @@
+Normal rank
@@ Property / cites work @@
+The decision problem for exponential diophantine equations
+Normal rank
@@ Property / cites work @@
+Register machine proof of the theorem on exponential diophantine representation of enumerable sets
+Normal rank
@@ Property / cites work @@
+Diophantine representations of the sequence of solutions of the Pell equation
+Normal rank
@@ Property / cites work @@
+Q5613949
@@ Property / cites work: Q5613949 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992465
@@ Property / cites work: Q3992465 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards finite-fold Diophantine representations
@@ Property / cites work: Towards finite-fold Diophantine representations / rank @@
+Normal rank
@@ Property / cites work @@
+Martin Davis and Hilbert’s Tenth Problem
@@ Property / cites work: Martin Davis and Hilbert’s Tenth Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q5626750
@@ Property / cites work: Q5626750 / rank @@
+Normal rank
@@ Property / cites work @@
+Reduction of an arbitrary diophantine equation to one in 13 unknowns
+Normal rank
@@ Property / cites work @@
+Q4462632
@@ Property / cites work: Q4462632 / rank @@
+Normal rank
@@ Property / cites work @@
+Existential Definability in Arithmetic
@@ Property / cites work: Existential Definability in Arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5686029
@@ Property / cites work: Q5686029 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4897352
@@ Property / cites work: Q4897352 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4435483
@@ Property / cites work: Q4435483 / rank @@
+Normal rank
@@ Property / cites work @@
+Diophantine representations of linear recurrences. I
+Normal rank