König's lemma

Known as: König, König's infinity lemma, König lemma 
König's lemma or König's infinity lemma is a theorem in graph theory due to Dénes Kőnig (). It gives a sufficient condition for an infinite graph to… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
We classify the computational content of the Bolzano-Weierstraß Theorem and variants thereof in the Weihrauch lattice. For this… (More)
  • figure 1
Is this relevant?
2011
2011
In [2] J. Berger and Ishihara proved, via a circle of informal implications involving countable choice, that Brouwer’s Fan… (More)
Is this relevant?
2007
2007
We consider the relation between versions of Ramsey’s Theorem and König’s Infinity Lemma, in the absence of the axiom of choice. 
Is this relevant?
2007
2007
A contiuation of [5]. The notions of finite-order trees, succesors of an element of a tree, and chains, levels and branches of a… (More)
Is this relevant?
2005
2005
From results of Ishihara it is known that the weak (that is, binary) form of König’s lemma (WKL) implies Brouwer’s fan theorem… (More)
Is this relevant?
2002
2002
By RCA0, we denote the system of second order arithmetic based on recursive comprehension axioms and Σ1 induction.WKL0 is defined… (More)
Is this relevant?
2002
2002
The so-called weak König’s lemma WKL asserts the existence of an infinite path b in any infinite binary tree (given by a… (More)
Is this relevant?
1999
1999
We continue the work of [14, 3, 1, 19, 16, 4, 12, 11, 20] investigating the strength of set existence axioms needed for separable… (More)
Is this relevant?
1991
1991
A continuation of [3]. The notion of finite–order trees, succesors of an element of a tree, and chains, levels and branches of a… (More)
Is this relevant?
1977
1977
1 Introduction D. Kόnig's famous lemma on trees has many applications; in graph theory it is used to extend certain results from… (More)
Is this relevant?