Existence of noneffectivizable estimates in the theory of exponential Diophantine equations (Q1256452): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Contributions to the theory of diophantine equations I. On the representation of integers by binary forms
+Normal rank
@@ Property / cites work @@
+DIOPHANTINE SETS
@@ Property / cites work: DIOPHANTINE SETS / rank @@
+Normal rank
@@ Property / cites work @@
+Hilbert's Tenth Problem is Unsolvable
@@ Property / cites work: Hilbert's Tenth Problem is Unsolvable / rank @@
+Normal rank
@@ Property / cites work @@
+Q5626750
@@ Property / cites work: Q5626750 / rank @@
+Normal rank
@@ Property / cites work @@
+An explicit diophantine definition of the exponential function
+Normal rank
@@ Property / cites work @@
+Q4075453
@@ Property / cites work: Q4075453 / rank @@
+Normal rank
@@ Property / cites work @@
+The decision problem for exponential diophantine equations
+Normal rank
@@ Property / cites work @@
+Arithmetical problems and recursively enumerable predicates
+Normal rank
@@ Property / cites work @@
+Existential Definability in Arithmetic
@@ Property / cites work: Existential Definability in Arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5648353
@@ Property / cites work: Q5648353 / rank @@
+Normal rank
@@ Property / cites work @@
+Extensions and corollaries of recent work on Hilbert's tenth problem
+Normal rank
@@ Property / cites work @@
+An unsolvable problem in number theory
@@ Property / cites work: An unsolvable problem in number theory / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1256452