Existential Definability in Arithmetic
From MaRDI portal
Cites work
Cited in
(30)- 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
- The quest for Diophantine finite-fold-ness
- Towards finite-fold Diophantine representations
- A proof of negative answer to Hilbert's 10th problem
- ``One equation to rule them all, revisited
- Hilbert's Tenth Problem in Coq
- scientific article; zbMATH DE number 7566048 (Why is no real title available?)
- Pragmatic Platonism
- Unsolvable Diophantine Problems
- Diophantine induction
- A list of arithmetical structures complete with respect to the first-order definability
- On equations in free monoids and semigroups with restrictions on solutions
- On some classes of formulas in S5 which are pre-complete relative to existential expressibility
- Apollonian packings: the rise and fall of the local to global conjecture
- Arithmetic terms for sums of multinomial coefficients
- On other two representations of the C-recursive integer sequences by terms in modular arithmetic
- On Diophantine singlefold specifications
This page was built for publication: Existential Definability in Arithmetic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5813178)
