Bemerkungen über die diophantischen Eigenschaften der reellen Zahlen. (Q2590664)

Bei Untersuchungen über diophantische Approximationen macht man ständig von einigen höchst trivialen Sätzen Gebrauch, z.~B: Ist \(a\) ganz rational und \(|a|>0\), so ist sogar \(|a|\geqq 1\); zu jeder reellen Zahl \(\alpha\) gibt es eine ganze rationale Zahl \(a\), für die \(|\alpha-a|\leqq \frac12\) ist. Verf. stellt eine Reihe solcher Sätze zusammen und untersucht sie hinsichtlich ihrer logischen Abhängigkeit voneinander.