"'Flexible' Predicates of Formal Number Theory," "Proceedings of the American Mathematical Society", 13(4):647-650.
"‘Flexible’ Predicates of Formal Number Theory, " "Proceedings of the American Mathematical Society", 13(4):647-650.