Author:
Dekker J. C. E.,Myhill J.
Abstract
Let us compare two properties of sets of non-negative integers: (1) the set a
has property Γ, if there exists an effective procedure
which when applied to any element of a different from its maximum (which
α does not necessarily possess) yields the next
larger element of α; (2) the set
α has property Δ, if
there exists an effective procedure which when applied to any element of
α different from its minimum yields the next smaller
element of α. It is readily seen that every recursive
set has both properties.
Publisher
Canadian Mathematical Society
Cited by
65 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献