1 Table of Contents: “...Preface -- 1 The Axiom of Choice and Some of Its Equivalents -- 2 Categories -- 3 Topological...”

2 Table of Contents: “... Framework for Computable Analysis -- Computing with Sequences, Weak Topologies and the Axiom of Choice...”

3 Table of Contents: “... Problem -- The Relative Consistency of the Axiom of Choice — Mechanized Using Isabelle/ZF -- Upper...”

4 Table of Contents: “... Case of Wallis's Attempted Proof of the Parallel Postulate and the Axiom of Choice -- Diagram Design...”