TY  - RPRT
TI  - Hierarchical incompleteness results for arithmetically definable extensions of fragments of arithmetic
AU  - Rasmus Blanck
PY  - 2021
DO  - 10.1017/s1755020321000307
UR  - https://arxiv.org/abs/1803.01762
ID  - 1803.01762
ER  -