Kronecker's density theorem and irrational numbers in constructive reverse mathematics
scientific article; zbMATH DE number 5705431
scientific article