Article contents
Existential definability with bounds on archimedean valuations
Published online by Cambridge University Press: 12 March 2014
Abstract
We show that a solution to Hilbert's Tenth Problem in the rings of algebraic integers and bigger subrings of number fields where it is currently not known, is equivalent to a problem of bounding archimedean valuations over non-real number fields.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2003
References
REFERENCES
- 1
- Cited by