TY  - RPRT
TI  - A non-speedup result for the chain-antichain principle over a weak base theory
AU  - Katarzyna W. Kowalik
PY  - 2025
UR  - https://arxiv.org/abs/2510.00323
ID  - 2510.00323
ER  -