The Bolzano-Weierstrass Theorem is the jump of Weak Kőnig's Lemma.

Vasco Brattka Guido Gherardi Alberto Marcone

Published in: Ann. Pure Appl. Log. (2012)

Keyphrases

von neumann
markov chain
object recognition
digital topology
machine learning
database systems
feature extraction
search algorithm
artificial neural networks
special case
johnson lindenstrauss