Friedberg numberings of families of partial computable functionals (Q2003244)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Friedberg numberings of families of partial computable functionals |
scientific article |
Statements
Friedberg numberings of families of partial computable functionals (English)
0 references
16 July 2019
0 references
partial computable functionals
0 references
computable morphisms
0 references
computable numberings
0 references
Rogers semilattice
0 references
minimal numbering
0 references
positive numbering
0 references
Friedberg numbering
0 references