## Abstract A notion of completeness and completion suitable for use in the absence of countable choice is developed. This encompasses the construction of the real numbers as well as the completion of an arbitrary metric space. The real numbers are characterized as a complete Archimedean Heyting fi
Completeness for systems including real numbers
β Scribed by W. Balzer; M. Reiter
- Publisher
- Springer Netherlands
- Year
- 1989
- Tongue
- English
- Weight
- 613 KB
- Volume
- 48
- Category
- Article
- ISSN
- 0039-3215
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
It is shown that the discrete CalderΓ³n condition characterizes completeness of orthonormal wavelet systems, for arbitrary real dilations. That is, if a > 1, b > 0, and the system = {a j/2 Ο(a j xbk) A new proof of the Second Oversampling Theorem is found, by similar methods.
The hybrid real number system consisting of terminating and nonterminating decimals, dark numbers, dual dark numbers, involving the notions of personal infinities and the impersonal infinity has been discussed. Some algebraic properties of dark numbers and dual dark numbers are discussed.