User:IssaRice/Computability and logic/Summary table of sets in computability
| Set | Enumerable? | Recursive? | Primitive recursive? | Recursively enumerable/semirecursive? |
|---|---|---|---|---|
| Set of natural numbers | Yes | Yes | Yes | Yes |
| Set of even positive integers | Yes | |||
| Set of rational numbers | Yes | |||
| Set of real numbers | No | |||
| {encoding of (m, n) : Turing machine m halts on input n} | Yes | No |