An effort to prove that the existential theory of \(\mathbb Q\) is undecidable (Q2715537)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: An effort to prove that the existential theory of \(\mathbb Q\) is undecidable |
scientific article; zbMATH DE number 1607967
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An effort to prove that the existential theory of \(\mathbb Q\) is undecidable |
scientific article; zbMATH DE number 1607967 |
Statements
21 March 2002
0 references
existential theory
0 references
field of rational numbers
0 references
undecidability
0 references
An effort to prove that the existential theory of \(\mathbb Q\) is undecidable (English)
0 references
The aim of the reviewed paper is ``to suggest a way towards proving a negative answer to the analogue of Hilbert's tenth problem for the field \(\mathbb Q\) of rational numbers''. The author considers the first-order language of rings with identity. In the case of the function field \(F_q(z)\), the language also contains a symbol for the variable \(z\). The author presents incomplete efforts in order to prove undecidability of the existential theories of \(\mathbb Q\) and of function fields \(F_q(z)\) in a uniform new way.NEWLINENEWLINEFor the entire collection see [Zbl 0955.00034].
0 references
