TY  - RPRT
TI  - A classification of incompleteness statements
AU  - Henry Towsner
AU  - James Walsh
PY  - 2025
DO  - 10.4153/s000843952510091x
UR  - https://arxiv.org/abs/2409.05973
ID  - 2409.05973
ER  -