Q5089029 (Q5089029): Difference between revisions

@@ Property / cites work @@
+Arithmetical problems and recursively enumerable predicates
+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 @@
+The decision problem for exponential diophantine equations
+Normal rank
@@ Property / cites work @@
+Verification of PCP-related computational reductions in Coq
+Normal rank
@@ Property / cites work @@
+Weak call-by-value lambda calculus as a model of computation in Coq
+Normal rank
@@ Property / cites work @@
+Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
+Normal rank
@@ Property / cites work @@
+The undecidability of the second-order unification problem
+Normal rank
@@ Property / cites work @@
+Register machine proof of the theorem on exponential diophantine representation of enumerable sets
+Normal rank
@@ Property / cites work @@
+Typing total recursive functions in Coq
@@ Property / cites work: Typing total recursive functions in Coq / rank @@
+Normal rank
@@ Property / cites work @@
+Q5613949
@@ Property / cites work: Q5613949 / rank @@
+Normal rank
@@ Property / cites work @@
+A new technique for obtaining diophantine representations via elimination of bounded universal quantifiers
+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 @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+The Matiyasevich theorem. Preliminaries
@@ Property / cites work: The Matiyasevich theorem. Preliminaries / rank @@
+Normal rank
@@ Property / cites work @@
+Diophantine sets. Preliminaries
@@ Property / cites work: Diophantine sets. Preliminaries / rank @@
+Normal rank
@@ Property / cites work @@
+Recursively enumerable sets of positive integers and their decision problems
+Normal rank
@@ Property / cites work @@
+Existential Definability in Arithmetic
@@ Property / cites work: Existential Definability in Arithmetic / rank @@
+Normal rank