Minimal \(m\)-powers (Q1280646)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Minimal \(m\)-powers |
scientific article; zbMATH DE number 1262512
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Minimal \(m\)-powers |
scientific article; zbMATH DE number 1262512 |
Statements
Minimal \(m\)-powers (English)
0 references
27 June 1999
0 references
A PRF (partial recursive function) \(f\) has minimal \(m\)-power if (1) \(\text{ dom}(f)\) is not recursive; and (2) if \(g\) is a PRF such that \(\text{ dom}(g)\) is not recursive, \(\text{ rang}(f) = \text{ rang}(g)\) and \(g\leq_m f\), then \(f\leq_m g\). This note shows a necessary and sufficent condition for a PRF to have minimal \(m\)-power.
0 references
recursively enumerable sets
0 references
partial recursive function
0 references
\(m\)-power
0 references
