Kőnig's lemma
Kőnig's lemma or Kőnig's infinity lemma is a theorem in graph theory due to the Hungarian mathematician Dénes Kőnig who published it in 1927. It gives a sufficient condition for an infinite graph to have an infinitely long path. The computability aspects of this theorem have been thoroughly investigated by researchers in mathematical logic, especially in computability theory. This theorem also has important roles in constructive mathematics and proof theory.
Aronszajn treeDe Bruijn–Erdős theorem (graph theory)Dénes KőnigHahn–Banach theoremHeesch's problemInverse limitKoenig's LemmaKoenig's lemmaKoenig lemmaKonig's LemmaKonig's lemmaKonig lemmaKruskal's tree theoremKönigKönig's LemmaKönig's infinity lemmaKönig's lemmaKönig's theoremKönig infinity lemmaKönig lemmaLema de konigList of graph theory topicsList of lemmasList of mathematical proofsLöwenheim–Skolem theoremMizar systemPA degreeRamsey's theoremReverse mathematicsSemi-deterministic Büchi automatonThe Art of Computer ProgrammingThoralf SkolemTree (descriptive set theory)Tree (set theory)Truth-table reductionUnavoidable patternUnbounded nondeterminism
Link from a Wikipage to another Wikipage
primaryTopic
Kőnig's lemma
Kőnig's lemma or Kőnig's infinity lemma is a theorem in graph theory due to the Hungarian mathematician Dénes Kőnig who published it in 1927. It gives a sufficient condition for an infinite graph to have an infinitely long path. The computability aspects of this theorem have been thoroughly investigated by researchers in mathematical logic, especially in computability theory. This theorem also has important roles in constructive mathematics and proof theory.
has abstract
Das Lemma von König oder König ...... athematischen Logik erforscht.
@de
En mathématiques, le lemme de ...... ositionnelle[réf. nécessaire].
@fr
Il Lemma di König in logica af ...... iscendente che è prolungabile.
@it
Kőnig's lemma or Kőnig's infin ...... mathematics and proof theory.
@en
Lemat Königa to lemat mówiący ...... ć nieskończona ścieżka prosta.
@pl
O Lema de König ou Lema da Inf ...... strutiva e na teoria da prova.
@pt
Лемма Кёнига о бесконечном пут ...... а Денешем Кёнигом в 1927 году.
@ru
グラフ理論におけるケーニヒの補題はデネス・ケーニヒ (193 ...... れてきている。この定理はや証明論においても重要な役割をもつ。
@ja
柯尼格引理(英語:König's lemma)为图论中的一个定理。
@zh
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,019,457,797
Link from a Wikipage to another Wikipage
authorlink
Luitzen Egbertus Jan Brouwer
@en
first
L. E. J.
@en
last
Brouwer
@en
wikiPageUsesTemplate
subject
comment
Das Lemma von König oder König ...... athematischen Logik erforscht.
@de
En mathématiques, le lemme de ...... ositionnelle[réf. nécessaire].
@fr
Il Lemma di König in logica af ...... iscendente che è prolungabile.
@it
Kőnig's lemma or Kőnig's infin ...... mathematics and proof theory.
@en
Lemat Königa to lemat mówiący ...... ć nieskończona ścieżka prosta.
@pl
O Lema de König ou Lema da Inf ...... strutiva e na teoria da prova.
@pt
Лемма Кёнига о бесконечном пут ...... а Денешем Кёнигом в 1927 году.
@ru
グラフ理論におけるケーニヒの補題はデネス・ケーニヒ (193 ...... れてきている。この定理はや証明論においても重要な役割をもつ。
@ja
柯尼格引理(英語:König's lemma)为图论中的一个定理。
@zh
label
Kőnig's lemma
@en
Lema de Konig
@pt
Lemat Königa
@pl
Lemma di König
@it
Lemma von König
@de
Lemme de König
@fr
Лемма Кёнига о бесконечном пути
@ru
ケーニヒの補題
@ja
柯尼格引理
@zh
쾨니그 보조정리
@ko