If you need an accessible version of this item please contact JSTOR User Support

Definability in Number Fields

S. P. Tung
The Journal of Symbolic Logic
Vol. 52, No. 1 (Mar., 1987), pp. 152-155
DOI: 10.2307/2273869
Stable URL: http://www.jstor.org/stable/2273869
Page Count: 4
  • Download PDF
  • Cite this Item

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

If you need an accessible version of this item please contact JSTOR User Support
Definability in Number Fields
Preview not available

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.

Page Thumbnails

  • Thumbnail: Page 
152
    152
  • Thumbnail: Page 
153
    153
  • Thumbnail: Page 
154
    154
  • Thumbnail: Page 
155
    155