Some applications of computable one-one numberings.

Published in: Arch. Math. Log. (1990)

Keyphrases

recursively enumerable
inductive inference
data sets
hypothesis space
recursive functions
finite sets
knowledge base
objective function
data structure
upper bound
turing machine