Existential Definability in Arithmetic
From MaRDI portal
Publication:5813178
DOI10.2307/1990711zbMath0047.24802MaRDI QIDQ5813178
Publication date: 1952
Full work available at URL: https://doi.org/10.2307/1990711
Related Items
A proof of negative answer to Hilbert's $10$th problem, Pragmatic Platonism, Unsolvable Diophantine Problems, A list of arithmetical structures complete with respect to the first-order definability, Towards finite-fold Diophantine representations, Diophantine induction, Existential arithmetization of Diophantine equations, Julia Robinson, in memoriam, Primes are nonnegative values of a polynomial in 10 variables, A new proof of the theorem on exponential diophantine representation of enumerable sets, My collaboration with Julia Robinson, Some nonstationary linear and quasilinear systems occuring in the investigation of the motion of viscous fluids, Existence of noneffectivizable estimates in the theory of exponential Diophantine equations, A direct method for simulating partial recursive functions by Diophantine equations, A new technique for obtaining diophantine representations via elimination of bounded universal quantifiers, There is no recursive link between the \(k\)-size of a model and its cardinality, Pell equations and exponentiation in fragments of arithmetic, Diophantine representations of the sequence of solutions of the Pell equation, Martin Davis and Hilbert’s Tenth Problem, A Story of Hilbert’s Tenth Problem
Cites Work