Skip to main content
MathOverflow

Return to Answer

added projecteuclid link
Source Link
Martin Sleziak
Martin Sleziak
  • 4.7k
  • 4
  • 35
  • 40

I found the paper "Generalizing König's Infinity Lemma""Generalizing König's Infinity Lemma" by Robert H. Cowan. Theorem 3 gets this result in a nice, more general form. Cowan's theorem is equivalent, over ZF, to the ultrafilter lemma, tying nicely into Péter Komjáth's comment.

I found the paper "Generalizing König's Infinity Lemma" by Robert H. Cowan. Theorem 3 gets this result in a nice, more general form. Cowan's theorem is equivalent, over ZF, to the ultrafilter lemma, tying nicely into Péter Komjáth's comment.

I found the paper "Generalizing König's Infinity Lemma" by Robert H. Cowan. Theorem 3 gets this result in a nice, more general form. Cowan's theorem is equivalent, over ZF, to the ultrafilter lemma, tying nicely into Péter Komjáth's comment.

Source Link
Pace Nielsen
Pace Nielsen
  • 18.7k
  • 4
  • 75
  • 137

I found the paper "Generalizing König's Infinity Lemma" by Robert H. Cowan. Theorem 3 gets this result in a nice, more general form. Cowan's theorem is equivalent, over ZF, to the ultrafilter lemma, tying nicely into Péter Komjáth's comment.