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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01693980
+Normal rank
@@ Property / OpenAlex ID @@
+W1968562989
@@ Property / OpenAlex ID: W1968562989 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1147132