Which interesting theorems in TCS rely on the Axiom of Choice? (Or alternatively, the Axiom of Determinacy?)

Name: Which interesting theorems in TCS rely on the Axiom of Choice? (Or alternatively, the Axiom of Determinacy?)
Published: 2010
License: CC BY-SA

Ryan Williams · 2010

Stack Exchange · Datasets · License: CC BY-SA · 2010

Open Source ↗

cc.complexity theory, lo.logic, pl.programming languages, big picture, set theory, cstheory, cc-by-sa-2.5

This document is indexed with metadata only — full text is not available in the archive for this record. Open the official source ↗

Record · ID 787533
Retrieved via Conceptio — every document is proof-bundled with source, license, and retrieval metadata.