Sunday, 25 August 2013

Logic: Teichmüller-Tukey Lemma and the Axiom of Choice

Logic: Teichmüller-Tukey Lemma and the Axiom of Choice

How can you proof that the Teichmüller-Tukey Lemma (which says that if $S$
is nonempty and of finite character, $S$ contains a maximal element with
respect to the subset ordering), implies the Axiom of Choice?
Any hints or solutions will be appreciated!

No comments:

Post a Comment