Complete, Recursively Enumerable Relations in Arithmetic.

Giovanna D'Agostino Mario Magnago

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

Keyphrases

recursively enumerable
inductive inference
recursive functions
knowledge base
cross validation
background knowledge
real valued functions