A note on best fractions of a computable real number
β Scribed by Ding-Zhu Du; Ker-I Ko
- Publisher
- Elsevier Science
- Year
- 1992
- Tongue
- English
- Weight
- 716 KB
- Volume
- 8
- Category
- Article
- ISSN
- 0885-064X
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
## Abstract Is it possible to give an abstract characterisation of constructive real numbers? A condition should be that all axioms are valid for Dedekind reals in any topos, or for constructive reals in Bishop mathematics. We present here a possible firstβorder axiomatisation of real numbers, whic
GrundWen a. Yath.
Suppose g > 2 is an odd integer. For real number X > 2, define S g Γ°X Γ the number of squarefree integers d4X with the class number of the real quadratic field QΓ° ffiffiffi d p Γ being divisible by g. By constructing the discriminants based on the work of Yamamoto, we prove that a lower bound S g Γ°X