Baire category theory and Hilbert's tenth problem inside Q

DOI10.1007/978-3-319-40189-8_35MaRDI QIDQ3188274zbMATH OpenOpenAlexFDO

Authors Russell Miller

Publication date 17 August 2016

Published in Pursuit of the Universal (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1602.03239

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Undecidability and degrees of sets of sentences (03D35) Theory of numerations, effectively presented structures (03D45) Classification of real functions; Baire classification of sets and functions (26A21)

Abstract: For a ring R, Hilbert's Tenth Problem HTP(R) is the set of polynomial equations over R, in several variables, with solutions in R. We consider computability of this set for subrings R of the rationals. Applying Baire category theory to these subrings, which naturally form a topological space, relates their sets HTP(R) to the set HTP($mathbbQ$), whose decidability remains an open question. The main result is that, for an arbitrary set C, HTP($mathbbQ$) computes C if and only if the subrings R for which HTP(R) computes C form a nonmeager class. Similar results hold for 1-reducibility, for admitting a Diophantine model of $mathbbZ$, and for existential definability of $mathbbZ$.

Recommendations

• Measure theory and Hilbert's tenth problem inside \(\mathbb{Q} \)
• As easy as \(\mathbb {Q}\): Hilbert's tenth problem for subrings of the rationals and number fields
• HTP-COMPLETE RINGS OF RATIONAL NUMBERS
• Hilbert's tenth problem for rings of rational functions
• Hilbert's tenth problem and Mazur's conjectures in complementary subrings of number fields

Cites work

• As easy as \(\mathbb {Q}\): Hilbert's tenth problem for subrings of the rationals and number fields
• Baire category theory and Hilbert's tenth problem inside \(\mathbb {Q}\)
• Characterizing integers among rational numbers with a universal-existential formula
• Definability and decision problems in arithmetic
• Defining Z in Q
• Hilbert’s Tenth Problem and Mazur’s Conjecture for large subrings of $\mathbb {Q}$
• The decision problem for exponential diophantine equations

Cited in

(6)

• Non-coding enumeration operators
• The Hilbert's-tenth-problem operator
• Baire category theory and Hilbert's tenth problem inside \(\mathbb {Q}\)
• scientific article; zbMATH DE number 2098017 (Why is no real title available?)
• HTP-COMPLETE RINGS OF RATIONAL NUMBERS
• Measure theory and Hilbert's tenth problem inside \(\mathbb{Q} \)

This page was built for publication: Baire category theory and Hilbert's tenth problem inside \(\mathbb {Q}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3188274)