Relatively acceptable notation

Nikolay Bazhenov, Dariusz Kalociński

Shapiro's notations for natural numbers, and the associated desideratum of acceptability - the property of a notation that all recursive functions are computable in it - is well-kn…