Arithmetic definability by formulas with two quantifiers

Journal of Symbolic Logic 57 (1):1-11 (1992)
  Copy   BIBTEX

Abstract

We give necessary conditions for a set to be definable by a formula with a universal quantifier and an existential quantifier over algebraic integer rings or algebraic number fields. From these necessary conditions we obtain some undefinability results. For example, N is not definable by such a formula over Z. This extends a previous result of R. M. Robinson

Categories

Keywords

Reprint years

DOI

10.2307/2275172

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,894

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 number fields.S. P. Tung - 1987 - Journal of Symbolic Logic 52 (1):152-155.
Some characterization and preservation theorems in modal logic.Tin Perkov - 2012 - Annals of Pure and Applied Logic 163 (12):1928-1939.
Descriptive complexity of finite structures: Saving the quantifier rank.Oleg Pikhurko & Oleg Verbitsky - 2005 - Journal of Symbolic Logic 70 (2):419-450.
Defining transcendentals in function fields.Jochen Koenigsmann - 2002 - Journal of Symbolic Logic 67 (3):947-956.
Existential definability with bounds on archimedean valuations.Alexandra Shlapentokh - 2003 - Journal of Symbolic Logic 68 (3):860-878.
Algebraicity and Implicit Definability in Set Theory.Joel David Hamkins & Cole Leahy - 2016 - Notre Dame Journal of Formal Logic 57 (3):431-439.
A Topological Approach to Undefinability in Algebraic Extensions Of.Kirsten Eisenträger, Russell Miller, Caleb Springer & Linda Westrick - 2023 - Bulletin of Symbolic Logic 29 (4):626-655.
The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two.Mohsen Khani - 2015 - Archive for Mathematical Logic 54 (7):885-898.
Stable Embeddedness in Algebraically Closed Valued Fields.E. Hrushovski & A. Tatarsky - 2006 - Journal of Symbolic Logic 71 (3):831 - 862.
A Note on Defining Transcendentals in Function Fields.Arno Fehm & Wulf-Dieter Geyer - 2009 - Journal of Symbolic Logic 74 (4):1206 - 1210.

Analytics

Added to PP
2009-01-28

Downloads
67 (#346,893)

6 months
12 (#301,168)

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

Definability on Formulas With Single Quantifier.Shih-Ping Tung - 1988 - Mathematical Logic Quarterly 34 (2):105-108.
Definability on Formulas With Single Quantifier.Shih-Ping Tung - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (2):105-108.

Add more references