An easy priority-free proof of a theorem of Friedberg (Q913786)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An easy priority-free proof of a theorem of Friedberg |
scientific article |
Statements
An easy priority-free proof of a theorem of Friedberg (English)
0 references
1990
0 references
Using the priority method, \textit{R. M. Friedberg} [J. Symb. Logic 23, 309- 316 (1959; Zbl 0088.016)] proved that the class of all partial recursive unary functions can be enumerated without repetition. We present a new, straightforward proof of this result. The proof can be adapted for a wide variety of other r.e. classes.
0 references
recursively enumerable classes
0 references
partial recursive functions
0 references
numberings
0 references