Stem choiceless$ (all stems)

4 papers:

LICS-2015-GradelPSK #first-order #polynomial

Characterising Choiceless Polynomial Time with First-Order Interpretations (EG, WP, SS, LK), pp. 677–688.

CSL-2000-BlassG00a #polynomial

Choiceless Polynomial Time Computation and the Zero-One Law (AB, YG), pp. 18–40.

CSL-2000-Schuster #analysis

Elementary Choiceless Constructive Analysis (PS), pp. 512–526.

CSL-2000-Shelah #logic

Choiceless Polynominal Time Logic: Inability to Express (SS), pp. 72–125.