|
|
|
|
![[parent]](http://images.planetmath.org:8080/images/uparrow.png)
recursive set
|
(Definition)
|
|
"recursive set" is owned by CWoo.
|
|
(view preamble | get metadata)
| Other names: |
decidable set, computable set, decidable predicate, computable predicate |
| Also defines: |
recursively enumerable set, recursive predicate, recursively enumerable predicate, recursive language |
This object's parent.
|
|
Cross-references: languages, decides, iff, finite set, scope, primitive recursive, primitive recursive set, partial function, recursively enumerable, integer, primality, sieve of Eratosthenes, prime numbers, divides, Fibonacci numbers, even integers, finite, element, Turing machine, algorithm, computable, characteristic function, natural numbers, subset
There are 7 references to this entry.
This is version 13 of recursive set, born on 2007-10-12, modified 2009-11-06.
Object id is 9993, canonical name is RecursiveSet.
Accessed 4664 times total.
Classification:
| AMS MSC: | 03D20 (Mathematical logic and foundations :: Computability and recursion theory :: Recursive functions and relations, subrecursive hierarchies) | | | 03B25 (Mathematical logic and foundations :: General logic :: Decidability of theories and sets of sentences) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|
