Computably Enumerable Reals and Uniformly Presentable Ideals.

Rodney G. Downey Sebastiaan Terwijn

Published in: Math. Log. Q. (2002)

Keyphrases

inductive inference
partial order
constraint databases
hypothesis space
partially ordered
data sets
training data
video sequences
search algorithm
uniform distribution
transitive closure