Search alternatives:
"axiom of choice" » "axioms of choice"

1
by Doberkat, Ernst-Erich
Published 2015
Springer International Publishing
Table of Contents: ...Preface -- 1 The Axiom of Choice and Some of Its Equivalents -- 2 Categories -- 3 Topological...

2
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... Framework for Computable Analysis -- Computing with Sequences, Weak Topologies and the Axiom of Choice...

3
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... Problem -- The Relative Consistency of the Axiom of Choice — Mechanized Using Isabelle/ZF -- Upper...

4
Published 2020
Springer International Publishing
Table of Contents: ... Case of Wallis's Attempted Proof of the Parallel Postulate and the Axiom of Choice -- Diagram Design...