Definition
Trivial Extensional
Fix an alphabet
. An extensional family is called trivial if either or (all recursively enumerable languages over ). Examples:
(trivial) (trivial)
Trivial Extensional
Fix an alphabet
. An extensional family is called trivial if either or (all recursively enumerable languages over ). Examples:
(trivial) (trivial)