Defining integers

Bulletin of Symbolic Logic 17 (2):230-251 (2011)
  Copy   BIBTEX

Abstract

This paper surveys the recent developments in the area that grew out of attempts to solve an analog of Hilbert's Tenth Problem for the field of rational numbers and the rings of integers of number fields. It is based on a plenary talk the author gave at the annual North American meeting of ASL at the University of Notre Dame in May of 2009

Categories

Keywords

Reprint years

DOI

10.2178/bsl/1305810912

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,031

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

Existential definability with bounds on archimedean valuations.Alexandra Shlapentokh - 2003 - Journal of Symbolic Logic 68 (3):860-878.
A Diophantine definition of rational integers over some rings of algebraic numbers.Alexandra Shlapentokh - 1992 - Notre Dame Journal of Formal Logic 33 (3):299-321.
Diophantine undecidability in some rings of algebraic numbers of totally real infinite extensions of Q.Alexandra Shlapentokh - 1994 - Annals of Pure and Applied Logic 68 (3):299-325.
Rings of algebraic numbers in infinite extensions of $${\mathbb {Q}}$$ and elliptic curves retaining their rank.Alexandra Shlapentokh - 2009 - Archive for Mathematical Logic 48 (1):77-114.
Hilbert's Tenth Problem for Rings of Rational Functions.Karim Zahidi - 2002 - Notre Dame Journal of Formal Logic 43 (3):181-192.
2009 North American Annual Meeting of the Association for Symbolic Logic.Alasdair Urquhart - 2009 - Bulletin of Symbolic Logic 15 (4):441-464.
An Integer Construction of Infinitesimals: Toward a Theory of Eudoxus Hyperreals.Alexandre Borovik, Renling Jin & Mikhail G. Katz - 2012 - Notre Dame Journal of Formal Logic 53 (4):557-570.
2010 North American Annual Meeting of the Association for Symbolic Logic.Reed Solomon - 2011 - Bulletin of Symbolic Logic 17 (1):127-154.
2011 North American Annual Meeting of the Association for Symbolic Logic.Itay Neeman - 2012 - Bulletin of Symbolic Logic 18 (2):275-305.
2012 north american annual meeting of the association for symbolic logic.Bradd Hart - forthcoming - Bulletin of Symbolic Logic.

Analytics

Added to PP
2011-05-20

Downloads
72 (#233,996)

6 months
12 (#242,943)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.
Definability and decision problems in arithmetic.Julia Robinson - 1949 - Journal of Symbolic Logic 14 (2):98-114.
Questions of decidability and undecidability in number theory.B. Mazur - 1994 - Journal of Symbolic Logic 59 (2):353-371.

Add more references