Majorizing provably recursive functions in fragments of PA.

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

Keyphrases

recursive functions
inductive inference
worst case
machine learning
website
search algorithm
vc dimension
decision trees
support vector machine
theoretical guarantees
real valued functions
horizontal fragmentation