recursive set

<logic> A set for which there is a recursive function to determine whether any given object is a member. See decidable set, recursive function

See recursively enumerable set

[Glossary of First-Order Logic]

<2001-03-16>

Try this search on OneLook / Google


Nearby terms: recursive definition « recursive function « recursive function theory « recursive set » recursive type » reductio ad absurdum » reduction