Pages that link to "Item:Q5813178"
From MaRDI portal
The following pages link to Existential Definability in Arithmetic (Q5813178):
Displayed 25 items.
- Towards finite-fold Diophantine representations (Q393229) (← links)
- Diophantine induction (Q584258) (← links)
- Existential arithmetization of Diophantine equations (Q1006616) (← links)
- Julia Robinson, in memoriam (Q1068805) (← links)
- Primes are nonnegative values of a polynomial in 10 variables (Q1145721) (← links)
- A new proof of the theorem on exponential diophantine representation of enumerable sets (Q1147132) (← links)
- My collaboration with Julia Robinson (Q1208619) (← links)
- Some nonstationary linear and quasilinear systems occuring in the investigation of the motion of viscous fluids (Q1251139) (← links)
- Existence of noneffectivizable estimates in the theory of exponential Diophantine equations (Q1256452) (← links)
- A direct method for simulating partial recursive functions by Diophantine equations (Q1326783) (← links)
- A new technique for obtaining diophantine representations via elimination of bounded universal quantifiers (Q1807463) (← links)
- There is no recursive link between the \(k\)-size of a model and its cardinality (Q1861532) (← links)
- Pell equations and exponentiation in fragments of arithmetic (Q1919524) (← links)
- Diophantine representations of the sequence of solutions of the Pell equation (Q2557696) (← links)
- Martin Davis and Hilbert’s Tenth Problem (Q3305315) (← links)
- A Story of Hilbert’s Tenth Problem (Q3305317) (← links)
- The quest for Diophantine finite-fold-ness (Q3383639) (← links)
- A proof of negative answer to Hilbert's $10$th problem (Q4404870) (← links)
- (Q5087790) (← links)
- Hilbert's Tenth Problem in Coq (Q5089029) (← links)
- (Q5094119) (← links)
- Pragmatic Platonism (Q5214681) (← links)
- Unsolvable Diophantine Problems (Q5573385) (← links)
- A list of arithmetical structures complete with respect to the first-order definability (Q5941257) (← links)
- On equations in free monoids and semigroups with restrictions on solutions (Q6168400) (← links)