How to Pick Out the Integers in the Rationals: An Application of Number Theory to Logic

DOI10.2307/2324267zbMath0941.03542OpenAlexW1972802848MaRDI QIDQ3985134

Stan Wagon, Daniel E. Flath

Publication date: 27 June 1992

Published in: The American Mathematical Monthly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2324267

zbMATH Keywords

problemsHilbert's tenth problem

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Undecidability and degrees of sets of sentences (03D35) Decidability of theories and sets of sentences (03B25) Interpolation, preservation, definability (03C40)

Related Items (4)

Further results on Hilbert's tenth problem ⋮ Formulation of linear problems and solution by a universal machine ⋮ Quantifier rank for parity of embedded finite models. ⋮ An Exact Correspondence of Linear Problems and Randomizing Linear Algorithms

This page was built for publication: How to Pick Out the Integers in the Rationals: An Application of Number Theory to Logic