Can I read Sets, the Axiom of Choice, And All That: A Tutorial on EtoBox?

Sets, the Axiom of Choice, And All That: A Tutorial by Doberkat, Ernst-Erich is a scholarly article available to read on EtoBox.

What is Sets, the Axiom of Choice, And All That: A Tutorial about?

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.

Author

Doberkat, Ernst-Erich

Published

2014

Language

EN