2000 character limit reached
Sets, the Axiom of Choice, And All That: A Tutorial
Published 26 Aug 2014 in cs.LO and cs.DM | (1408.6475v2)
Abstract: This tutorial deal with the Axiom of Choice and some of its applications to topics related to Computer Science. We will see that the Axiom of Choice is equivalent to some well-known proof principles like Zorn's Lemma or Tuckey's Maximality Principle. We try to touch upon some topics, which appear to be important for developing mathematical structures within computer science.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.