# König's lemma

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2012

2012

- Ann. Pure Appl. Logic
- 2012

We classify the computational content of the Bolzano-Weierstraß Theorem and variants thereof in the Weihrauch lattice. For this… (More)

Is this relevant?

2011

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

- Arch. Math. Log.
- 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

- 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

- J. UCS
- 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

- Ann. Pure Appl. Logic
- 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

- Ann. Pure Appl. Logic
- 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

- J. Symb. Log.
- 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

- 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

- Notre Dame Journal of Formal Logic
- 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?