Bulletin of Symbolic Logic
- Bull. Symbolic Logic
- Volume 17, Issue 2 (2011), 230-251.
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.
Bull. Symbolic Logic Volume 17, Issue 2 (2011), 230-251.
First available in Project Euclid: 19 May 2011
Permanent link to this document
Digital Object Identifier
Shlapentokh, Alexandra. Defining integers. Bull. Symbolic Logic 17 (2011), no. 2, 230--251. doi:10.2178/bsl/1305810912. https://projecteuclid.org/euclid.bsl/1305810912.