Describing the real numbers in terms of integers
✍ Scribed by Theo Grundhöfer
- Publisher
- Springer
- Year
- 2005
- Tongue
- English
- Weight
- 93 KB
- Volume
- 85
- Category
- Article
- ISSN
- 0003-889X
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
Algorithms to reduce the space needed to store information either in memory or magnetic media are presented. These algorithms were designed to pack and unpack two common kinds of data types: sequences of sets of integers that change in a regular fashion and real numbers of fixed absolute precision.
## Abstract The author considers rings of rational numbers which are integral at all the primes except, possibly, primes contained in a finite set. In such rings a Diophantine definition of ℤ is constructed to show that all the recursively enumerable subsets of the ring are Diophantine.