Publication:4286756
From MaRDI portal
zbMath0790.03008MaRDI QIDQ4286756
Publication date: 10 April 1994
primality; exponentiation; exercises; diophantine complexity; bounded universal quantifiers; diophantine coding; Four-Color Problem; recursive unsolvability of Hilbert's Tenth Problem; universal diophantine equations; implications of negative solution to Hilbert's Tenth problem
11U05: Decidability (number-theoretic aspects)
12L05: Decidability and field theory
11-02: Research exposition (monographs, survey articles) pertaining to number theory
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03B25: Decidability of theories and sets of sentences
11D99: Diophantine equations
Related Items
Quasi-interpretations. A way to control resources, Diophantine equations and the generalized Riemann hypothesis, Authentication schemes from actions on graphs, groups, or rings, \(\text{NP}\not={co}\)-NP and models of arithmetic, P, NP, Co-NP and weak systems of arithmetic, Uncomputability and undecidability in economic theory, Diophantine undecidability of holomorphy rings of function fields of characteristic 0, Metafinite model theory, On the computability of Nash equilibria, Frontier between decidability and undecidability: A survey, Liouville closed \(H\)-fields, Normal forms for second-order logic over finite structures, and classification of NP optimization problems, Definability and decidability in infinite algebraic extensions, Extendability of continuous maps is undecidable, Diophantine sets of representations, Isomorphisms of scattered automatic linear orders, Theories of orders on the set of words, Tree Automata for Non-linear Arithmetic