Baire Category Theory and Hilbert’s Tenth Problem Inside $$\mathbb {Q}$$ Q

DOI10.1007/978-3-319-40189-8_35zbMath1476.03061arXiv1602.03239OpenAlexW2260693148MaRDI QIDQ3188274

Russell G. 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

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

Related Items (4)

Baire Category Theory and Hilbert’s Tenth Problem Inside $$\mathbb {Q}$$ Q ⋮ HTP-COMPLETE RINGS OF RATIONAL NUMBERS ⋮ The Hilbert's-tenth-problem operator ⋮ Non-coding enumeration operators

Cites Work

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

This page was built for publication: Baire Category Theory and Hilbert’s Tenth Problem Inside $$\mathbb {Q}$$ Q