Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets (Q1887829): Difference between revisions

@@ Property / Wikidata QID @@
+Q56896664
@@ Property / Wikidata QID: Q56896664 / rank @@
+Normal rank
@@ Property / cites work @@
+Some Recursively Unsolvable Problems in Analysis
@@ Property / cites work: Some Recursively Unsolvable Problems in Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+On Canonical Forms and Simplification
@@ Property / cites work: On Canonical Forms and Simplification / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetical problems and recursively enumerable predicates
+Normal rank
@@ Property / cites work @@
+The decision problem for exponential diophantine equations
+Normal rank
@@ Property / cites work @@
+Power series solutions of algebraic differential equations
+Normal rank
@@ Property / cites work @@
+Decision problems for differential equations
@@ Property / cites work: Decision problems for differential equations / rank @@
+Normal rank
@@ Property / cites work @@
+Universal diophantine equation
@@ Property / cites work: Universal diophantine equation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3964548
@@ Property / cites work: Q3964548 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3964549
@@ Property / cites work: Q3964549 / rank @@
+Normal rank
@@ Property / cites work @@
+Register machine proof of the theorem on exponential diophantine representation of enumerable sets
+Normal rank
@@ Property / cites work @@
+Proof of Recursive Unsolvability of Hilbert's Tenth Problem
+Normal rank
@@ Property / cites work @@
+Decidability of some Problems Pertaining to Base 2 Exponential Diophantine Equations
+Normal rank
@@ Property / cites work @@
+NP-complete decision problems for binary quadratics
+Normal rank
@@ Property / cites work @@
+DIOPHANTINE SETS
@@ Property / cites work: DIOPHANTINE SETS / rank @@
+Normal rank
@@ Property / cites work @@
+Q4156744
@@ Property / cites work: Q4156744 / rank @@
+Normal rank
@@ Property / cites work @@
+A direct method for simulating partial recursive functions by Diophantine equations
+Normal rank
@@ Property / cites work @@
+Q2715528
@@ Property / cites work: Q2715528 / rank @@
+Normal rank
@@ Property / cites work @@
+Reduction of an arbitrary diophantine equation to one in 13 unknowns
+Normal rank
@@ Property / cites work @@
+A Diophantine Problem for Laurent Polynomial Rings
+Normal rank
@@ Property / cites work @@
+Some undecidable problems involving elementary functions of a real variable
+Normal rank
@@ Property / cites work @@
+Q4897352
@@ Property / cites work: Q4897352 / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetical representation of recursively enumerable sets
+Normal rank
@@ Property / cites work @@
+Some representations of Diophantine sets
@@ Property / cites work: Some representations of Diophantine sets / rank @@
+Normal rank
@@ Property / cites work @@
+Zwei Unentscheidbare Probleme Der Analysis
@@ Property / cites work: Zwei Unentscheidbare Probleme Der Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+The model theory of ordered differential fields
@@ Property / cites work: The model theory of ordered differential fields / rank @@
+Normal rank
@@ Property / cites work @@
+The Undecidability of the Existence of Zeros of Real Elementary Functions
+Normal rank
@@ Property / DBLP publication ID @@
+journals/mcs/Matiyasevich04
@@ Property / DBLP publication ID: journals/mcs/Matiyasevich04 / rank @@
+Normal rank