Definability in number fields

Journal of Symbolic Logic 52 (1):152-155 (1987)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

DOI

10.2307/2273869

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,672

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Definability in physics.David Jacob BenDaniel - unknown
Arithmetic definability by formulas with two quantifiers.Shih Ping Tung - 1992 - Journal of Symbolic Logic 57 (1):1-11.
Defining transcendentals in function fields.Jochen Koenigsmann - 2002 - Journal of Symbolic Logic 67 (3):947-956.
Characterizing Definability of Second-Order Generalized Quantifiers.Juha Kontinen & Jakub Szymanik - 2011 - In L. Beklemishev & R. de Queiroz (eds.), Proceedings of the 18th Workshop on Logic, Language, Information and Computation, Lecture Notes in Artificial Intelligence 6642. Springer.
Decidable fragments of field theories.Shih-Ping Tung - 1990 - Journal of Symbolic Logic 55 (3):1007-1018.
Definability with a predicate for a semi-linear set.Michael Benedikt & H. Jerome Keisler - 2003 - Journal of Symbolic Logic 68 (1):319-351.
A definability result for compact complex spaces.Dale Radin - 2004 - Journal of Symbolic Logic 69 (1):241-254.
Definability and definable groups in simple theories.Anand Pillay - 1998 - Journal of Symbolic Logic 63 (3):788-796.

Analytics

Added to PP
2009-01-28

Downloads
28 (#566,976)

6 months
6 (#509,130)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references