Algorithmic representation of wermus' constructions of ordinal numbers

In his paper [3] Wermus defines ordinal numbers as "Z - symbols" of the form [a1n ..., ak κ, ≥ 1 and [a1] , where the aj, 1≤ j, ≤ κ, are natural numbers or Z -symbols. It wi II be demonstrated that Wermus' constructions can be described by means of a special Neumer algorithm, the c...