Ramsey's Theorem for Pairs and Provably Recursive Functions.

Ulrich Kohlenbach Alexander Kreuzer

Published in: Notre Dame J. Formal Log. (2009)

Keyphrases

recursive functions
inductive inference
pairwise
real time
worst case
hypothesis spaces
data sets
von neumann