numbering
Sign in to savein computability theory, the assignment of natural numbers to a set of objects
Connections
recursively enumerable set
Entity
Yury Yershov
Entity
natural number
Entity
function
Entity
rational number
Entity
set
Entity
graph
Entity
surjective function
Entity
formal language
Entity
domain of a function
Entity
computability theory
Entity
first-order logic
Entity
computable function
Entity
partial function
Entity
preorder
Entity
Gödel numbering
Entity
universal Turing machine
Entity
Vladimir Uspensky
Entity