
recursively enumerable

(Definition)


"recursively enumerable" is owned by ariels.


(view preamble)
See Also: halting problem, Turing computable
Other names: 
semirecursive 
Also defines: 
semirecursive, recursively enumerable function 
Crossreferences: even, sequence, integers, Peano arithmetic, recursive, onetoone, onto, recursive function, Turing machine, TFAE, language
There are 2 references to this entry.
This is version 3 of recursively enumerable, born on 20020605, modified 20020605.
Object id is 3045, canonical name is RecursivelyEnumerable.
Accessed 5310 times total.
Classification:
AMS MSC:  03D25 (Mathematical logic and foundations :: Computability and recursion theory :: Recursively enumerable sets and degrees) 



Pending Errata and Addenda







