Choiceless Polynominal Time Logic: Inability to Express.

Saharon Shelah

Browse the full CSL paper archive.