Number Theory in the Land of OZ

Definition. [Norton], x is an omnific integer iff x = {x — 1 | x + 1}. We shall use Oz for the Class of omnific integers. In this chapter the unqualified word integer will usually mean omnific integer.