Numeración completa
En la teoría de la computabilidad, las numeraciones completas son generalizaciones de la numeración de Gödel introducidas por primera vez por AI Mal'tsev en 1963. Se estudian debido a varios resultados importantes, como el teorema de recursión de Kleene y el teorema de Rice , que se probaron originalmente para el conjunto de funciones computables numeradas de Gödel . sigue siendo válido para conjuntos arbitrarios con numeraciones completas.
Una numeración de un conjunto se llama completa (con respecto a un elemento ) si para cada función computable parcial existe una función computable total tal que (Ershov 1999:482):
Ershov se refiere al elemento a como un elemento "especial" para la numeración. Una numeración se llama precompleta si se cumple la propiedad más débil: