Rogers semilattices of punctual numberings (Q5048010)
From MaRDI portal
scientific article; zbMATH DE number 7618925
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Rogers semilattices of punctual numberings |
scientific article; zbMATH DE number 7618925 |
Statements
Rogers semilattices of punctual numberings (English)
0 references
17 November 2022
0 references
theory of numberings
0 references
upper semilattice
0 references
Rogers semilattice
0 references
primitive recursion
0 references
friedberg numbering
0 references
decidability
0 references
online computation
0 references
punctual structure
0 references
0 references
