Article contents
Definability in number fields
Published online by Cambridge University Press: 12 March 2014
Abstract
We study the sets definable in an algebraic number field by first order formulas of various simple types, showing in particular that N and Z do not have very simple definitions.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1987
Footnotes
I am very grateful to the referee for his help in making this paper readable.
References
REFERENCES
- 2
- Cited by