A Note on Diophantine Representations
From MaRDI portal
Recommendations
Cited in
(19)- Existential arithmetization of Diophantine equations
- Reduction of unknowns in diophantine representations
- Diophantine sets. Preliminaries
- Infiniteness sets of primes, admitting diophantine representations in eight variables
- On a Diophantine representation of the predicate of provability
- Basic Diophantine relations
- Formalization of the MRDP theorem in the Mizar system
- Existential Diophantine definability of string length
- Conjecturally computable functions which unconditionally do not have any finite-fold Diophantine representation
- Diophantine representation of the decimal expansions of e and
- Diophantine equations and provability in mathematics
- scientific article; zbMATH DE number 3841838 (Why is no real title available?)
- A polynomial encoding provability in pure mathematics (outline of an explicit construction)
- Towards finite-fold Diophantine representations
- scientific article; zbMATH DE number 404532 (Why is no real title available?)
- scientific article; zbMATH DE number 2174390 (Why is no real title available?)
- ``One equation to rule them all, revisited
- On the Diophantine complexity of the set of prime numbers
- Formalizing a Diophantine representation of the set of prime numbers
This page was built for publication: A Note on Diophantine Representations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4039065)