The Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemma

Vasco Brattka Guido Gherardi Alberto Marcone

Published in: CoRR (2011)

Keyphrases

von neumann
markov chain
johnson lindenstrauss
real time
data sets
machine learning
social networks
image processing
similarity measure
high quality
feature space
pairwise
real valued