Google search yields the paper by RH Cowen called Generalizing König's infinity lemma. Due to my insufficient technical background, I am afraid, I cannot fully appreciate the paper.
Tout court, Cowen proves three theorems and concludes they are equivalent to prime ideal theorem of Boolean algebra.
Here is the first theorem which is generalization of KL:
Theorem 1 Let T be a collection of locally finite trees such that for any finite set of levels of T there is a consistent set of vertices piercing those levels. Then there is a consistent set of vertices piercing the entire set of levels of T.
Then he states:
Theorems 1-3 are equivalent to each other and to P.I., the prime ideal theorem for Boolean algebras; this is easy to establish using our results in [l] where some strong forms of Rado's selection lemma were shown to be equivalent to P.I
My questions are two-fold:
Does this paper show the connection between König's Lemma (KL) and primes through Prime Ideal Theorem (PIT)?
Has there been research done to prove primes' infinitude via KL?
Or am I completely off?