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.
Citation
Alexandra Shlapentokh. "Defining integers." Bull. Symbolic Logic 17 (2) 230 - 251, June 2011. https://doi.org/10.2178/bsl/1305810912
Information