Choiceless Computation and Symmetry: Limitations of Definability.

Benedikt Pago

Browse the full CSL paper archive.