Productive sets and constructively nonpartial-recursive functions (Q1105589): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Constructively nonpartial recursive functions / rank | |||
Normal rank |
Revision as of 18:04, 18 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Productive sets and constructively nonpartial-recursive functions |
scientific article |
Statements
Productive sets and constructively nonpartial-recursive functions (English)
0 references
1988
0 references
In this short note the author extends some results of \textit{B. M. Horowitz} [Notre Dame J. Formal Logic 21, 273-276 (1980; Zbl 0394.03043)]. A partial function \(f: {\mathbb{N}}\to {\mathbb{N}}\) is called constructively nonpartial-recursive if for some recursive function \(h: {\mathbb{N}}\to {\mathbb{N}}\), f(h(n))\(\not\cong \phi_ n(h(n))\). It is called strongly constructively nonpartial-recursive if in addition there is a recursive function \(e: {\mathbb{N}}\to {\mathbb{N}}\) such that f(h(n)) defined implies \(e(n)=f(h(n))\). The following results are obtained: f is strongly constructively nonpartial-recursive \(\Rightarrow\) \(G_ f\) is productive \(\Rightarrow\) f is constructively nonpartial-recursive. Furthermore, a set S is productive iff \(i_ A\) is constructively nonpartial-recursive, where \(i_ A(x)=x\) if \(x\in A\), and undefined otherwise.
0 references
productive sets
0 references
constructively nonpartial-recursive functions
0 references