A note on sharply bounded arithmetic
scientific article; zbMATH DE number 579324