Twins problem in formal arithmetic
discrete linearly ordered commutative and associative rings with identity
scientific article; zbMATH DE number 3675882