A new proof of the theorem on exponential diophantine representation of enumerable sets (Q1147132): Difference between revisions

@@ Property / cites work @@
+The decision problem for exponential diophantine equations
+Normal rank
@@ Property / cites work @@
+Q4043061
@@ Property / cites work: Q4043061 / 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 @@
+Arithmetical problems and recursively enumerable predicates
+Normal rank
@@ Property / cites work @@
+Q4133963
@@ Property / cites work: Q4133963 / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of negative answer to Hilbert's $10$th problem
+Normal rank
@@ Property / cites work @@
+Reduction of an arbitrary diophantine equation to one in 13 unknowns
+Normal rank
@@ Property / cites work @@
+Notes on Binomial Coefficients I-A Generalization of Lucas' Congruence†
+Normal rank
@@ Property / cites work @@
+Existential Definability in Arithmetic
@@ Property / cites work: Existential Definability in Arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5613949
@@ Property / cites work: Q5613949 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5643974
@@ Property / cites work: Q5643974 / rank @@
+Normal rank
@@ Property / cites work @@
+An explicit diophantine definition of the exponential function
+Normal rank